Запитання з тегом «reference-request»

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

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

У розподілених обчисленнях проблема консенсусу, як видається, є однією з центральних тем, що привернула інтенсивні дослідження. Зокрема, документ "Неможливість розподілу консенсусу за один несправний процес" отримав 2001 р. Впливову паперову премію PODC . То чому проблема консенсусу настільки важлива? Чого ми можемо досягти консенсусом як в теорії, так і на …

19 reference-request  big-picture  dc.distributed-comp 

Обчислення константи Чегера графа , також відомого як ізопериметрична константа (оскільки це по суті співвідношення мінімальної площі / об'єму), як відомо, є NP-повним. Зазвичай це приблизне значення. Мені цікаво дізнатися, чи відомі точні поліноміальні алгоритми для спеціальних класів графіків. Наприклад, чи все ще NP-комплект для звичайних графіків ? Для регулярних …

19 ds.algorithms  reference-request  graph-algorithms 

Прогнозувати фондовий ринок важко! Чи може TCS зробити такі настрої більш формальними? Нещодавно я почав трохи думати про фінанси, і цікавився, як знання TCS можуть допомогти. Здається, хедж-фонди та інвестиційні фірми весь час використовують алгоритмічну торгівлю, машинне навчання та ІІ, але результатів ТКС, здається, мало. Зокрема, я знаю лише два …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Мене цікавлять моделі випадкових графіків, схожих на графіки реальних комп'ютерних мереж. Я не впевнений, що загальна добре вивчена модель ( вершин, кожне можливе ребро вибрано з вірогідністю ) добре для вивчення реальних комп'ютерних мереж (це?).n pG(n,p)G(n,p)G(n,p)nnnppp які моделі випадкових графіків корисні для розуміння комп'ютерних мереж, що створюються на практиці? Більш …

19 reference-request  graph-theory  co.combinatorics 

Чи є опитування алгоритмів обчислення інтерполянтів? А як з паперами лише на одному алгоритмі? Випадок, який мене найбільше цікавить, - це і , плюс обмеження, що інтерполянт якнайменший. (Я знаю з статті Макміллана від 2005 року , де описано, як отримати інтерполянти, уникаючи кількісних показників.)A=¬p∧qA=¬p∧qA=\lnot p\land qC=qC=qC=q Передумови: теорема Крейга …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

Мені хотілося б знати, чи існували думки, які давно були недоведеними в TCS, які згодом були доведені наслідками іншої теореми, що, можливо, було легше довести.

18 reference-request  soft-question  big-list 

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

18 cc.complexity-theory  reference-request  computability  undecidability 

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

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції 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 

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

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

Назвіть відомі ефективні алгоритми для обчислення визначника цілочисельної матриці з коефіцієнтами в , кільця залишків по модулю . Число може бути не простим, а складеним (тому обчислення проводяться в кільці, а не в полі).ZmZm\mathbb{Z}_mmmmmmm Наскільки мені відомо (читайте нижче), більшість алгоритмів є модифікацією усунення Гаусса. Питання полягає в обчислювальній ефективності …

18 ds.algorithms  reference-request  linear-algebra  comp-number-theory 

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

18 reference-request  computability  hypercomputation 

Чи є алгоритми вирішення SAT, які не базуються на DPLL? Або всі алгоритми, використовувані розв'язниками SAT, засновані на DPLL?

18 ds.algorithms  reference-request  sat 

XORiфiкацiя - це технiка зробити булевiю функцiю чи формулу важiшою, замінивши кожну змінну на XOR на змінних . ххxk ≥ 2к≥2k\geq 2х1⊕ … ⊕ xкх1⊕…⊕хкx_1 \oplus \ldots \oplus x_k Мені відомо про використання цієї методики у складності доказування, головним чином для отримання нижнього простору для систем доказів на основі роздільної …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity