Запитання з тегом «big-list»

Після обговорення нижчих меж для 3SAT [ 1 ] мені цікаво, які основні результати нижньої межі формулюються як компроміси в просторі та часі. Я виключаю такі результати, як, скажімо, теорема Савича; хороший запис буде зосереджений на одній проблемі та її межах. Прикладом може бути: "Нехай T і S - час, …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Я шукаю список про відому чи невідому складність різних теоретичних / алгебраїчних задач чисел. Наприклад, GCD в відкрито,NС1NC1NC^1 факторинг в відкритий,ПPP обчислювальна зв'язка когомології - тверда# P#P\#P , Арора і Барак стверджують, що варіант факторингу є незавершеним (хоча це не зрозуміло, грунтуючись на обговоренні NP-повного варіанту факторингу. ),NПNПNP Прорив роботи …

12 cc.complexity-theory  big-list  algebra  open-problem 

Які проблеми мають такі властивості: 1) вони обмежують (можливо, добре відомі) проблеми, які є повним PSPACE; 2) версії з обмеженим доступом є у PSPACE, але це відкрита проблема, якщо вони є повними PSPACE (або навіть якщо вони є жорсткими NP). Чотири приклади з "пазлів & C.": Складність 1x1 Rush Hour …

12 big-list  open-problem 

Які корисні алгоритми існують, що працюють на величезних потоках даних, а також їх результати досить малі, і можна обчислити результат для суміші двох потоків, якось об'єднавши їх результати? Я можу назвати декілька: Очевидні речі, такі як сума, min, max, count, top-K тощо. Приблизні так звані "ескізні" алгоритми потоку для гістограм, …

12 ds.algorithms  big-list  data-streams 

Які є деякі (невідомі) твердження, що якщо істинно, PH повинен руйнуватися? Відповіді, що містять коротке твердження високого рівня з посиланням (-ями), оцінені вдячні. Я намагався здійснити зворотний пошук без особливої ​​долі.

12 cc.complexity-theory  complexity-classes  big-list 

У 1996 р. Давню відкриту проблему вирішив комп’ютер; а саме, що алгебра Роббінса та булева алгебра однакові. Доведення було знайдено автоматизованим доведенням теореми. Більше того, відомий доказ теорії чотирьох кольорів містить складені комп'ютером компоненти. Метою цього питання є перелік доказів, які (повністю або частково) знайдені комп’ютером (чи є єдиним відомим …

11 soft-question  big-list  proofs  automated-theorem-proving 

Я шукаю сильних NP-важких проблем для скорочення. Поки що я виявив такі проблеми: 3-роздільна проблема Проблема з упаковкою у смітник Числове 3-мірне узгодження TSP Будь-яка проблема, повна NP, без чисельних даних, наприклад, НАДІЙНІСТЬ, ГАМИЛТОНСЬКИЙ ЦИКЛ, 3-ЦВІТНІСТЬ. Хто-небудь знає перелік сильно важких проблем з NP? Якщо ні, то давайте побудуємо тут. …

11 np-hardness  big-list  hamiltonian-paths 

Усі музеї та експонати, пов'язані з комп’ютером, я знаю, здається, лише висвітлюють історію обчислювальної техніки, але нічого не стосується тем інформатики. Ви берете участь у створенні нового Музею обчислювальної техніки, який заручається для навчання, розваг та натхнення широкої громадськості у широкому спектрі обчислень / інформатики / комунікацій / математики. Хоча …

11 soft-question  big-list  ho.history-overview 

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

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Мені було цікаво, що таке перелік сучасних природних обчислювальних задач, для яких немає відомої переваги складності використання квантового комп'ютера. Для початку все, я думаю, що обчислення відстані редагування - це те, для якого найшвидший відомий квантовий алгоритм здається найшвидшим відомим класичним. Більш орієнтовно, я б також запропонував сортування як іншу …

11 ds.algorithms  quantum-computing  big-list 

Алгоритми наближення можуть давати вихід до деякого постійного коефіцієнта. Це трохи менш задоволення, ніж точні алгоритми. Однак постійні фактори ігноруються в часовій складності. Тож мені цікаво, чи можливий чи використаний наступний трюк для вирішення якоїсь проблеми :B ∘ AБ∘АB \circ A Використовуйте алгоритм наближення, що вирішує задачу щоб отримати рішення …

11 ds.algorithms  big-list  approximation-algorithms 

Передумови: Обробка транзакцій була традиційною темою дослідження в теорії баз даних. В даний час розподілені транзакції популяризуються широкомасштабними розподіленими системами зберігання даних, які, як правило, включають розділ даних (також званий шардинг) та реплікацію даних . Які основні проблеми дослідження в розподілених транзакціях? Чи існують відомі теорії та рішення, які потребують …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Мене цікавлять приклади конструкцій в теорії складності, які кращі, ніж випадкові побудови. Єдиний відомий мені приклад такої конструкції - це поле у ​​виправлення помилок. Алгебраїко-геометричні коди кращі за деяким діапазоном параметрів, ніж випадкові коди. Можна легко побудувати такі штучні приклади. Мене цікавлять такі приклади, як алгебраїчні коди геометрії, де легко …

10 reference-request  big-list  derandomization  pr.probability 

Я теоретик гомотопії, цікавлюсь інформатикою. Я хотів би запитати, які цікаві програми гомотопічної алгебри (категорії моделей, категорії нескінченності, спрощені категорії тощо) в теоретичній інформатиці?

9 big-list  algebraic-topology 

Дозволяє ΣΣ\Sigmaбути алфавітом, тобто не порожнім кінцевим набором. Рядок - це будь-яка кінцева послідовність елементів (символів) зΣΣ\Sigma. Як приклад,{0,1}{0,1} \{0, 1\} - двійковий алфавіт і 011001100110 є рядком для цього алфавіту. Зазвичай до тих пір, поки ΣΣ\Sigma містить більше 1 елемента, точну кількість елементів у ΣΣ\Sigmaне має значення: у кращому …

9 big-list  encoding  examples