Запитання з тегом «cc.complexity-theory»

Звичайно, деякі результати складності можуть звалитися для одинарних мов, але мені цікаво, чи є десь опитування, що підсумовує відомі результати в цьому випадку: своєрідний зоопарк складності для одинарних мов. Чи знаєте ви про таке посилання?

25 cc.complexity-theory  reference-request  big-list 

EDIT (v2): в кінці додано розділ про те, що я знаю про проблему. EDIT (v3): додана дискусія про пороговий ступінь наприкінці. Питання Це питання в основному є довідковим запитом. Я мало знаю про проблему. Я хочу знати, чи була раніше робота над цією проблемою, і якщо так, чи може хтось …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Це пов'язано з питанням: Чи вже відомий розмір членів свідків для кожної мови НП? Деякі природні (-повні) задачі мають лінійну довжину свідків: задовольняюче завдання для , послідовність вершин для тощо. S A T H A M P A T HNPNP\mathsf{NP}SATSATSATHAMPATHHAMPATHHAMPATH Розглянемо клас складності " обмежений для очевидців лінійної довжини". Формальне …

24 cc.complexity-theory  complexity-classes  np 

Редагувати: Я спершу неправильно сформулював обмеження (2), тепер воно виправлено. Я також додав більше інформації та прикладів. З деякими колегами, вивчаючи якесь інше алгоритмічне питання, ми змогли звести нашу проблему до наступної цікавої проблеми, але ми не змогли вирішити питання про її складність. Проблема полягає в наступному. Екземпляр: Ціле число …

24 cc.complexity-theory  ds.algorithms  reference-request 

Існує багата література і принаймні одна дуже хороша книга, яка викладає відому твердість результатів апроксимації для задач, пов'язаних з твердими NP, в контексті мультиплікативної помилки (наприклад, 2-наближення для покриття вершин є оптимальним, якщо вважати UGC). Сюди також входять добре зрозумілі класи складності наближення, такі як APX, PTAS тощо. Що відомо, …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Зрозуміло, що будь-яка проблема, яка вирішується в детермінованому просторі журналів ( ), виконується не більше, ніж у поліном ( ). Існує безліч класів складності між і . Приклади включають , , , , , . Широко поширена думка , що .LLLPPPLLLPPPNLNLNLLogCFLLogCFLLogCFLNCiNCiNC^iSACiSACiSAC^iACiACiAC^iSCiSCiSC^iL≠PL≠PL \neq P В одному з моїх повідомлень в блозі …

24 cc.complexity-theory  lower-bounds  space-bounded 

Чи існують якісь повні NP-проблеми, для яких алгоритм відомий, що очікуваний час роботи є поліном (для деякого розумного розподілу по екземплярах)? Якщо ні, чи існують проблеми, для яких встановлено існування такого алгоритму? Або існування такого алгоритму означає існування детермінованого багаточленного алгоритму часу?

24 cc.complexity-theory  np-hardness 

Які наслідки виникнення повних проблем у ?NП∩ c o NПNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

Це питання було перенесено з обміну стека інформатики, оскільки на нього можна відповісти на Теоретичній біржі стека комп'ютерних наук. Мігрували 3 роки тому . У науковому документі 2016 р. « Реалізація масштабованого алгоритму Шор » [ 1 ] автори розраховують 15 лише на 5 кубітів, що менше, ніж на 8 …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

Теорія складності, через такі поняття, як NP-повнота, розрізняє обчислювальні задачі, які мають відносно ефективні рішення, і ті, які не можна вирішити. "Дрібнозерниста" складність має на меті вдосконалити цю якісну відмінність у кількісному посібнику щодо точного часу, необхідного для вирішення проблем. Детальніше можна ознайомитись тут: http://simons.berkeley.edu/programs/complexity2015 Ось кілька важливих гіпотез: ETH: …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Доступ до оракула забезпечив би велике, суперполіномійне прискорення для всього (якщо припустимо, що набір не порожній). Менш ясно, проте, скільки б вигоду з цього доступу оракула. Звичайно, прискорення в не може бути надполіномальним, але воно все одно може бути поліноміальним. Наприклад, чи могли ми швидше знайти найкоротший шлях з оракул …

23 cc.complexity-theory  np  np-complete 

Я знаю, що тривіально функція АБО на нnn змінних х1, … , Хнx1,…,xnx_1,\ldots, x_n може бути представлена ​​саме поліномом р ( х1, … , Хн)p(x1,…,xn)p(x_1,\ldots,x_n) як такою: р ( х1, … , Хн) = 1 - ∏нi = 1( 1 - хi)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right) , що є ступенем …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials 

Наразі я намагаюся знайти проблеми, що завершуються ЕКСПЕКСАМ (головним чином, щоб знайти натхнення для скорочення), і мене дивує невелика кількість результатів. Поки що я знайшов це, і у мене виникають проблеми з розширенням списку: універсальність (або інші властивості) регулярних виразів з експоненцією. проблеми, пов'язані з системами векторного додавання непомітні ігри …

23 cc.complexity-theory  reference-request  big-list 

В даний час біткойн має систему підтвердження роботи (PoW) з використанням SHA256. Інші хеш-функції використовують доказ графіків використання робочої системи, часткову інверсію хеш-функції. Чи можливо використовувати проблему вирішення в теорії вузлів, наприклад розпізнавання вузлів, і зробити це доказом роботи функції? Також хтось робив це раніше? Крім того, коли ми маємо …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Поліном - монотонна проекція полінома якщо = poly , і є призначення такі, що . Тобто, можна замінити кожну змінну з змінного або константами або , так що результуючий многочлен збігається з . f ( x 1 , … , x n ) g ( y 1 , … , …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits