Теоретична інформатика

Чи є послідовність непрямих графіків , де кожен має рівно вершин і задачу{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn З огляду на та графік , чи - індукований підграф ?nnnGGGCnCnC_nGGG як відомо, що в класі ? (Наприклад, коли , це проблема, пов’язана з NP-завершенням.)PP\mathsf{P}Cn=KnCn=KnC_n=K_n

18 cc.complexity-theory  graph-theory 

Я ніколи раніше не бачив алгоритм із журналом у знаменнику, і мені цікаво, чи є справді корисні алгоритми з цією формою? Я розумію багато речей, які можуть спричинити множення журнального фактору за час виконання, наприклад, сортування або алгоритми на основі дерева, але що може спричинити поділ на коефіцієнт журналу?

18 ds.algorithms  big-list  time-complexity 

У нещодавній темі в списку розсилки Агди з'явилося питання про ηη\eta закони, в якому Пітер Хенкок зробив замислене зауваження . Я розумію, що ηη\eta закони бувають негативних типів, тобто. сполучники, правила введення яких необоротні. Щоб вимкнути ηη\eta для функцій, Хенк пропонує замість звичайного правила застосування використовувати елімінатор на замовлення, funsplit …

18 lo.logic  type-theory  lambda-calculus  proof-theory 

Поняття про поліноміальне скорочення часу (Кука скорочення) - це абстракція дуже інтуїтивно зрозумілої концепції: ефективно вирішити задачу за допомогою алгоритму для іншої проблеми. Однак у теорії -повноти поняття N P- твердості фіксується за допомогою скорочення відображення (скорочення Карпа). Ця концепція "обмежених" скорочень набагато менш інтуїтивна (принаймні, для мене). Це навіть …

18 cc.complexity-theory  np-hardness  soft-question 

Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції isIntegerабо isRational? Я здогадуюсь, що це неможливо, і що це якимось чином пов'язане з тим, що неможливо перевірити, чи є два числа рівними, але я не бачу, як …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Я знаю, що неможливо визначити еквівалентність для нетипового обчислення лямбда. Цитуючи Barendregt, HP Обчислення лямбда: його синтаксис та семантика. Північна Голландія, Амстердам (1984). :ββ\beta Якщо A і B є неперервними, непусті множини лямбда-термінів, які закриті під рівність, то A і B є рекурсивно нероздільними. Звідси випливає, що якщо A - …

18 lo.logic  computability  lambda-calculus  normalization  decidability 

Чи обчислюються всі функції, вага фур'є яких сконцентрований на наборах малого розміру (або з умовами з низьким ступенем), за допомогою схем ?AC0AC0\mathsf{AC}^0

18 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

Правило рамки , як наведеному нижче, відображає ідею , що, з огляду на програму cз попередньою умовою , pщо має місце , перш ніж він працює і постусловіем qщо тримає пізніше, деякі непересічні умова rслід тримати як до , так і після того, як cпрацює. ( Сполучник *вимагає, щоб його …

18 lo.logic  pl.programming-languages  program-logic 

Нехай - клас задач рішення, що має обмежений двосторонній помилка, рандомізований алгоритм, що працює в часі .O ( f ( n ) )BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Чи знаємо ми про будь-яку проблему така, що але ? Чи доведено його існування?Q ∈ PQ∈ПQ \in \mathsf{P}Q ∈ B P T I M E ( nк)Q∈БПТЯМЕ(нк)Q …

18 cc.complexity-theory  ds.algorithms  randomized-algorithms  derandomization 

Теорія категорій та абстрактна алгебра мають справу з тим, як функції можна поєднувати з іншими функціями. Теорія складності стосується того, наскільки важкою є функція для обчислення. Мені це дивно, що я не бачив, щоб хтось поєднував ці напрями вивчення, оскільки вони здаються такими природними парами. Хтось робив це раніше? Як …

18 cc.complexity-theory  algebra  algebraic-complexity 

Складність зоопарк не має багато про SCSC\mathsf{SC} . Я шукаю приємну проблему, що знаходиться на більш високих рівнях ієрархії, тобто проблему в але невідомо, що в .††^\daggerDTimeSpace(nO(1),lgO(1)n)DTimeSpace(nO(1),lgO(1)⁡n)\mathsf{DTimeSpace}(n^{O(1)},\lg^{O(1)} n)DTimeSpace(nO(1),lg2n)DTimeSpace(nO(1),lg2⁡n)\mathsf{DTimeSpace}(n^{O(1)},\lg^2n) Як побічне запитання, чи є якась відома причина, чому пошук прикладів приємних проблем у вищих рівнях ієрархій ( , , , тощо)? …

18 cc.complexity-theory  complexity-classes 

Мафія - популярна рольова гра на вечірках, детальний опис розміщений на wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . В основному це працює так: На початку кожному з гравців таємно відводиться роль, або узгоджена з Мафією, або з Містом. Кожна роль може мати особливі здібності; докладніше про це пізніше.NNN Є дві фази гри: день і …

18 cc.complexity-theory  gt.game-theory  combinatorial-game-theory 

Як відомо, існує багато аномалій для односмугових машин Тюрінга, коли час : багатосмуговий моделювання ТМ, моделювання більшого алфавіту стрічки з просто { 0 , 1 , b } , час конструктивності, нещільність теорема ієрархії часу, ...о ( н.)2)о(н2)o(n^2){ 0 , 1 , b }{0,1,б}\{0,1,b\} Також є такі результати, як , …

18 cc.complexity-theory  turing-machines 

Припустимо, TTT - дерево постійного ступеня, структура якого ми не знаємо. Проблема полягає у виведенні дерева , задаючи запити форми: "Чи лежить вузол на шляху від вузла до вузла ?". Припустимо, що кожен запит може відповідати оракулом постійно. Ми знаємо значення , кількість вузлів на дереві. Мета - мінімізувати час, …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

Чи було зроблено якусь роботу над тим, як складність випадкових екземплярів # 2-SAT змінюється залежно від щільності застереження? Тобто: як змінюється складність підрахунку задовольняючих рішень випадково генерованого екземпляра 2-SAT , коли змінюється щільність пропозиції? Зокрема, чи відомі чіткі результати, що стосуються критичних порогових значень? Звичайно, оскільки 2-SAT ∈ P , …

18 cc.complexity-theory  counting-complexity  random-k-sat