Вопросы с тегом «open-problem»

Знаковый ранг матрицы A с элементами + 1, -1 является наименьшим рангом (по реалам) матрицы B, которая имеет такой же шаблон знака, что и A (то есть для всех i , к ). Это понятие важно в сложности общения и теории обучения.Aя жВя ж> 0AяJВяJ>0A_{ij}B_{ij}>0я , джя,Ji,j Мой вопрос: существуют …

25 lg.learning  open-problem  communication-complexity  matrices 

При постоянная , можно определить в линейное время, учитывая входной граф G , является ли его древесной шириной есть ≤ K . Однако, когда оба k и G даны в качестве входных данных, проблема NP-трудна. ( Источник ).k ∈ Nk∈Nk \in \mathbb{N}гGG≤ k≤k\leq kКkkгGG Однако, когда входной граф является плоским …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Предположим, нам дано несколько непересекающихся простых многоугольников на плоскости и две точки и t вне каждого многоугольника. Задача евклидова кратчайшего пути состоит в том, чтобы вычислить евклидов кратчайший путь от s до t , который не пересекает внутреннюю часть любого многоугольника. Для конкретности предположим, что координаты s и t и …

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

Помимо (детерминированной) сложности связи отношения , другой основной мерой для объема необходимой связи является номер раздела протокола . Связь между этими двумя показателями известна до постоянного фактора. Монография Кушилевица и Нисана (1997) даетRc c ( R )сс(р)cc(R)ррR p p ( R )пп(р)pp(R) c c ( R ) / 3 ≤ …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

В 1999 году Петра Шурман и Герхард Дж. Вёгингер опубликовали статью «Алгоритмы аппроксимации полиномиального времени для машинного планирования: десять открытых задач» . С тех пор, насколько мне известно, обзоры, которые касались бы одного и того же списка проблем, не появлялись. Таким образом, было бы здорово и полезно, если бы каждый …

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling 

В статье «Сборник задач, завершенных для P» Гринлоу, Гувера и Руццо (PS) (PDF) , есть список проблем в P, которые, как известно, не находятся в NC и также не известны как P-полные. , (Этот список включает все открытые проблемы в превосходном обзоре Карпа и Рамачандрана .) Список открытых проблем начинается …

20 cc.complexity-theory  open-problem  circuit-complexity 

Предположим, у нас есть матрица n на n. Можно ли изменить порядок строк и столбцов так, чтобы мы получили верхнетреугольную матрицу? Этот вопрос мотивирован этой проблемой: положительный топологический порядок Первоначальная проблема решения, по крайней мере, так же сложна, как эта, поэтому результат NP-полноты также решит эту проблему. Изменить: Ласло Вег …

20 ds.algorithms  np-hardness  open-problem  matrices 

DFA имеет синхронизирующее слово, если есть строка, которая отправляет любое состояние DFA в одно состояние. В «Гипотезе Черни для апериодических автоматов» А. Н. Трахтмана («Дискретная математика и теоретическая информатика», том 9: 2, 2007, с. 3-10) он писал: В 1964 году Черни предположил, что каждое синхронизируемое по N-состоянию DFA обладает словом …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

Какие основные открытые проблемы вычислительной сложности возникают из-за языков программирования, особенно из анализа и компиляции программ? Я ищу проблемы по линии «временная сложность вывода типа Хиндли-Милнера» или «временная сложность 0CFA» (хотя обе проблемы решены).

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

Я читал, что целочисленное линейное программирование разрешимо за полиноминальное время, если число переменных фиксировано, т.е. n ∈ O ( 1 ) . Если число переменных растет логарифмически, т. Е. N ∈ O ( log 2 ( N ) ) для заданного входного значения размера N , проблема все еще разрешима …

16 cc.complexity-theory  np  open-problem 

Фон Функции в могут быть изучены PAC в квазиполиномиальном времени с помощью классического алгоритма, который требует случайно выбранных запросов, чтобы изучить схему глубины d [1]. Если нет факторинг-алгоритма , то это оптимально [2]. Конечно, на квантовом компьютере мы знаем, как учитывать, поэтому эта нижняя граница не помогает. Кроме того, оптимальный …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

Меня интересует «ближайшая» (и «самая сложная») проблема к гипотезе Коллатца , которая была успешно решена (на что Эрдос сказал, что «математика еще не созрела для таких задач»). Было доказано, что класс "коллатцовых" проблем неразрешим. Тем не менее, проблемы, которые в некоторой степени похожи, такие как MIU-игра Хофштадтера (решены, но, по …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Рассмотрим такой язык LLL , что: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) и так что L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Другими словами, самая быстрая машина вычисляет за время а наиболее экономичная машина вычисляет при использовании пространства .MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) Что можно сказать о пространственной эффективности М или временной эффективности М '? Или, точнее, …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

Интересно, как найти обхват разреженного неориентированного графа. Под разреженным я подразумеваю . Под оптимальным я подразумеваю минимальную временную сложность.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Я думал о некоторой модификации алгоритма Тарьяна для неориентированных графов, но я не нашел хороших результатов. На самом деле я думал, что если бы я мог найти 2-связные компоненты в , …

14 ds.algorithms  graph-theory  open-problem 

Цель : сформулировать гипотезу об отсутствии проективной плоскости порядка 12. В 1989 году, используя компьютерный поиск на Крей, Лэм доказал, что проективной плоскости порядка 10 не существует. Теперь, когда число Бога для кубика Рубика было определено после нескольких недель масштабного поиска грубой силы (плюс умная математика симметрии), мне кажется, что …

14 open-problem