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

Мене цікавить явна булева функція із таким властивістю: якщо є постійним на деякому афінному підпросторі , то розмірність цього підпростори дорівнює .f:0 , 1н→0 , 1f:0,1н→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff o ( n )0 , 1н0,1н\\{0,1\\}^no ( n )о(н)o(n) Не важко показати, що симетрична функція не задовольняє цій властивості, розглядаючи …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

Parity-P - це набір мов, розпізнаваний недетермінованою машиною Тьюрінга, який може розрізняти лише парне чи непарне число шляхів "прийняття" (а не нульове чи не нульове число шляхів прийняття). Таким чином Паритет-P в основному PP хирлявий молодший брат «s: в той час як ППИ розраховують ледве не число прінімающіхов траєкторій NP-машина …

18 cc.complexity-theory  complexity-classes  np 

Визначимо Gaussian складність як матриці , щоб мінімальне число елементарних операцій рядків і стовпців , необхідних для приведення матриці у верхній трикутної форми. Це величина між і (через гауссова елементація). Поняття має сенс у будь-якій галузі.0 n 2n×nn×nn \times n000н2n2n^2 Ця проблема, безумовно, здається дуже базовою, і її, мабуть, вивчили. …

18 cc.complexity-theory  lower-bounds  matrices 

Мене цікавить наступна проблема: Враховуючи набір X і підмножини X_1, ..., X_n з X, знайдіть забарвлення елементів X з k кольорами таким чином, що елементи в кожному X_i всі мають різний колір. Більш конкретно, я розглядаю випадок, коли всі X_i мають розмір k. Чи відомо це в літературі під якоюсь …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Загальновідомі квантові комп'ютери суворо потужніші за класичні аналоги за складністю запитів . Чи існують інші моделі (натуральні чи штучні), які строго між квантовою та класичною за складністю запитів? Розлука може бути продовжена конкретні проблеми: обчислювачі моделі X функціонують зі строго більшою кількістю запитів, ніж квантовими, але меншою кількістю запитів, ніж …

18 cc.complexity-theory  quantum-computing  query-complexity 

Я щойно прочитав питання " Чи є цілочисельна факторизація неповною проблемою? ". Тому я вирішив витратити частину своєї репутації :-) задаючи інше питання маючи P ( Q тривіально ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Якщо - це оракул, який вирішує цілочисельну факторизацію, яка сила …

18 cc.complexity-theory  oracles  factoring 

Які основні проблеми з відкритими складними обчислювальними технологіями виникають внаслідок мов програмування, особливо аналізу та компіляції програм? Я шукаю проблеми в рядках "часова складність умовиводу типу Хіндлі-Мілнера" ​​або "часова складність 0CFA" (хоча обидва є вирішеними проблемами).

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

Недетермінований булева схема має, крім звичайних входів , набір "недетермінованих" входів y = ( y 1 , ... , y m ) . Недетермінірованного схема З приймає вхідні х , якщо існує у таких , що вихідний контур 1 на ( х , у ) . Аналогічно P / p …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

Чи можливо перетворити CNF в інший CNF таким, щоCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Функцію можна обчислити в поліноміальний час з якогось секретного випадкового параметра .ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) має рішення, якщо і лише тоді, коли має рішення.CC\mathcal C Будь-який розчин з може бути ефективно перетворений у розчин використовуючи .xxxΨ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal Crrr Без , …

17 cc.complexity-theory  cr.crypto-security  one-way-function  cryptojacking 

Фон Відомо , що існує оракул AAA такий , що PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Відомо навіть, що поділ має відношення до випадкового оракула. Неофіційно можна трактувати це так, що існує багато оракул, для яких PSPACEPSPACEPSPACE і PHPHPH є окремими. Питання Як складно ці оракули , які відокремлюють PSPACEPSPACEPSPACE від PHPHPH …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Добре відомо, що багато проблем, повних NP, виявляють фазовий перехід. Мене тут цікавить фазовий перехід щодо стримування мови, а не твердості введення стосовно алгоритму. Щоб зробити поняття однозначним, давайте формально визначимо його наступним чином. Мова LLL демонструє фазовий перехід (щодо стримування), якщо Існує параметр порядку r(x)r(x)r(x) , який є обчислюваною …

17 cc.complexity-theory  phase-transition 

Розглянемо цю проблему: Враховуючи список кінцевих наборів, знайдіть замовлення що мінімізує .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots Чи існують відомі алгоритми цього? У чому полягає її складність? Я ще не міг придумати ефективний оптимальний алгоритм, але це очевидно і в …

17 cc.complexity-theory  ds.algorithms  optimization 

З огляду на групу симетрії SnSnS_n та дві підгрупи G,H≤SnG,H≤SnG, H\leq S_n та π∈Snπ∈Sn\pi\in S_n , чи має місце Gπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset ? Наскільки мені відомо, проблема відома як проблема перетину козета. Мені цікаво, у чому складність? Зокрема, чи відомо, що ця проблема є коам? Крім того, якщо HHH обмежується абелевою, …

17 cc.complexity-theory  graph-isomorphism  gr.group-theory 

Відомо, що мінімальний розмір мікросхем обчислює функцію парності, точно дорівнює 3 ( n - 1 ) . Доказ нижньої межі заснований на методі усунення затворів.U2U2U_23 ( n - 1 )3(н-1)3(n-1) В останнім часом я помітив , що метод ліквідації воріт добре працює і для недетермінірованних - схем, і ми можемо …

17 cc.complexity-theory  reference-request  circuit-complexity 

Доповідь "Підквадратичні алгоритми для 3SUM", Ілля Баран, Ерік Д. Демен, Михай Патраску має таку складність для Проблема 3SUM: задано список LLL з цілих чисел, якщо є такий, щоx , y , z ∈ L x + y = z .nnnx,y,z∈Lx,y,z∈Lx,y,z \in Lx+y=z.x+y=z.x+y=z. Вони зазначають: "На стандартному слові ОЗУ зі словами …

17 cc.complexity-theory  ds.algorithms