Запитання з тегом «graph-algorithms»

Відомо, що метричний TSP можна наблизити в межах і не може бути наближений кращим, ніж у поліном. Чи відомо щось про знаходження розв'язків наближення в експоненціальному часі (наприклад, менше кроків із лише поліноміальним простором)? Наприклад, у який час та простір ми можемо знайти тур, відстань якого не більше ?1231.51.51.5 2n1,1×OPT123122123122123\over …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

Клас складності складається з тих N P -проблем, які можуть вирішуватися поліноміальною недетермінованою машиною Тюрінга, яка має щонайменше один прийнятий обчислювальний шлях. Тобто рішення, якщо воно є, є унікальним у цьому сенсі. Вважається , дуже малоймовірно , що всі U P -проблеми в P , так як по доблесну-Вазірані теореми …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

Для проблеми з максимальним потоком , мабуть, існує ряд дуже складних алгоритмів, принаймні один розроблений недавно, як минулого року. Макс Орліна протікає за час O (mn) або краще дає алгоритм, який працює в O (VE). З іншого боку, найчастіше я бачу реалізовані алгоритми (я не претендую на вичерпний пошук; це …

30 ds.algorithms  graph-algorithms  application-of-theory  max-flow 

Існує кілька алгоритмів, які визначають у поліноміальний час, чи можна малювати графік у площині чи ні, навіть багато з лінійним часом виконання. Однак я не зміг знайти дуже простий алгоритм, який можна було б легко та швидко пояснити на уроці та показав би, що ПЛАНАРНІСТЬ є в П. Чи знаєте …

28 graph-algorithms  co.combinatorics  planar-graphs 

Я шукаю прикладних прикладів, де трапляється таке явище: (1) Алгоритмічна проблема виглядає важко, якщо ви хочете вирішити її, працюючи з визначень та використовуючи лише стандартні результати. (2) З іншого боку, стає легко, якщо ви знаєте деякі (не настільки стандартні) теореми. Мета цього - проілюструвати студентам, що вивчення більшої кількості теорем …

28 cc.complexity-theory  ds.algorithms  graph-algorithms 

Чому "топологічне сортування" називається "топологічним"? Це лише тому, що він визначає порядок, не змінюючи жодних вершин чи країв - як пончик і кавова чашка топологічно рівнозначні? Чому його не називають "сортом залежності" чи чимось іншим? Чому "топологічний"? Зізнаюся, я загадкований.

28 graph-theory  graph-algorithms  directed-acyclic-graph  topology 

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

26 ds.algorithms  graph-algorithms  application-of-theory 

Це питання виникає з чистої цікавості (воно виникло під час роздумів про перемішування струни , але я не впевнений, чи це насправді пов’язано), тому я сподіваюся, що це доречно. Є різні графічні продукти, і мене тут цікавить будь-яка з них. У чому полягає складність визначення того, чи графік ізоморфний до …

25 cc.complexity-theory  graph-algorithms 

Результат по Robertson і Seymour демонструє алгоритм для перевірки , є чи фіксованою граф є мінор . У мене на цю тему є два з половиною питання:О ( н.)3)О(н3)O(n^3)ГГGННH 1) Схоже, з цього часу алгоритм удосконалився. Який найвідоміший на сьогодні алгоритм? 2а) Що думають люди, щоб бути оптимальним? Алгоритм Мохара …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

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

25 ds.algorithms  graph-theory  graph-algorithms  spectral-graph-theory 

Сьогодні я сформулював таку проблему, граючи зі своїм GPS. Ось : Нехай - спрямований графік такий, що якщо то (v, u) \ notin E , тобто G - орієнтація нижнього непрямого графа. Розглянемо наступні операції:e = ( u , v ) ∈ E (Г ( V, Е)G(V,E)G(V,E)e = ( u …

25 ds.algorithms  graph-algorithms 

Проблема стабільного шлюбу: http://en.wikipedia.org/wiki/Stable_marriage_problem Мені відомо, що для прикладу SMP можливі багато інших стійких шлюбів, окрім повернутого алгоритмом Гале-Шаплі. Однак якщо нам задано лише , кількість чоловіків / жінок, ми задаємо наступне питання - Чи можемо ми побудувати список уподобань, який дає максимальну кількість стабільних шлюбів? Яка верхня межа такої …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

Графік Н є ядром, якщо будь-який гомоморфізм від Н до себе є біекцією. Підграф H of G є ядром G, якщо H є ядром і є гомоморфізм від G до H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 З огляду на графік G, який найвідоміший точний алгоритм для пошуку його ядра?

24 ds.algorithms  graph-theory  graph-algorithms 

Важливий документ від 2003 року від Childs et al.представив "проблему поєднаних дерев": проблему, що визнає експоненціальне квантове прискорення, що не схоже на будь-яку іншу подібну проблему, про яку ми знаємо. У цій проблемі нам дають експоненціально великий графік, подібний до зображеного нижче, який складається з двох повних двійкових дерев глибиною …

23 graph-algorithms  quantum-computing  randomized-algorithms  random-walks  decision-trees 

Розглянемо проблеми оптимізації наступної форми. Нехай f(x)f(x)f(x) - поліномальна обчислювальна функція, яка відображає рядок в раціональне число. Завдання оптимізації полягає в наступному: що максимальне значення над -бітовий рядки ?xxxf(x)f(x)f(x)nnnxxx Скажемо, що така задача має характеристику мінімаксу , якщо є інша обчислювана багаточленна функція , така, що . Тут x працює …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming