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

Наведіть декілька прикладів складних задач вирішення, які можна вирішити за багаточлен? Я шукаю проблеми, для яких оптимальний алгоритм "повільний", або проблеми, для яких найшвидший відомий алгоритм "повільний". Ось два приклади: Розпізнавання досконалих графіків. У своїй FOCS'03 роботи [1] Cornuéjols, Ль і Vuskovic дали Час алгоритм для задачі, де п є …

15 algorithms  complexity-theory  reference-request 

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

15 reference-request  logic  proof-assistants 

Зазвичай я використовую символ для порожнього рядка (порожнє слово або нульовий рядок). Але я знаю, що деякі люди використовують замість .εε\varepsilonλλ\lambdaεε\varepsilon Я думаю, що походить від слова "Порожня". Однак я не знаю, яке походження .εε\varepsilonλλ\lambda У теорії автоматів існує епсилонний перехід автоматів, а також його називають лямбда-переходом. Наприклад, програмне забезпечення …

14 formal-languages  automata  reference-request  notation  history 

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

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Нещодавно студент попросив мене перевірити рівень твердості на них. Вони виконували скорочення за лініями: Я знижую цю проблему P′P′P' яка, як відомо, є NP-повною для моєї проблеми PPP (з багаторазовим скороченням багато-один), так щоPPP є NP-важким. Моя відповідь була в основному: Оскільки PPP має екземпляри зі значеннями від RR\mathbb{R} , …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

Припустимо, нам дано два числа і і ми хочемо знайти для l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Наївний алгоритм просто перевіряє всі можливі пари; наприклад, у рубінах у нас буде: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Нехай граф, і нехай і т дві вершини G . Чи можемо ми ефективно вибирати найкоротший шлях s - t рівномірно та незалежно навмання з набору всіх найкоротших шляхів між s та t ? Для простоти можна припустити, що G простий, непрямий і невагомий.G s t G s t s …

14 graph-theory  reference-request  shortest-path  sampling 

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

14 reference-request  programming-languages  lambda-calculus  functional-programming 

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

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Класичним застосуванням ділення та перемоги є вирішення наступної проблеми: З огляду на масив [ 1 ... п ] з окремих елементів, які можна порівняти, підрахувати число пар інверсії в масиві: пари таким чином, що , і .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]i<ji<ji \lt j Один із підходів до цього - зробити сортування …

14 algorithms  reference-request  arrays 

Згідно зі статтею Вікіпедії , L у означає "сканування зліва направо", а "R" означає "найправіше виведення". Однак в оригінальній статті Кнута про граматики L R ( k ) він визначає L R ( k ) (на стор. 610) як мову, що "перекладається зліва направо із пов'язаною k ".LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)kkk Я здогадуюсь, …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Алгоритми та структури даних про кеш-пам'ять - це досить нова річ, представлена ​​Frigo et al. у алгоритмах, що не враховують кеш, 1999 . Теза Прокопа з того ж року вводить і ранні ідеї. Документ Frigo et al. представити деякі експериментальні результати, що показують потенціал теорії та алгоритмів та структур даних, …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Проблема з мінімальною пропускною здатністю полягає у знаходженні впорядкованості вузлів графіків за цілою лінією, що мінімізує найбільшу відстань між будь-якими двома сусідніми вузлами. Проблема рішення не відповідає NP навіть для двійкових дерев. Результати складності для мінімізації пропускної здатності. Гарі, Грем, Джонсон і Кнут, SIAM J. Appl. Math., Vol. 34, №3, …

14 complexity-theory  np-complete  reference-request  approximation 

Я 16-річний чоловік, який нещодавно обдарував великою енциклопедією з інформатики моїм другом. Мене зазвичай не цікавлять комп’ютери та технології, але інформатика почала мене захоплювати. Я все ж маю намір вивчати фізику та / або математику, а не КС, тому моє запитання: чи було б корисним провести самостійне вивчення інформатики? Я, …

14 reference-request  education 

У літературі досить ясно, що оперативні пам’яті з одиничною вартістю з примітивним множенням є необґрунтованими, оскільки вони не може бути змодельована машинами Тьюрінга в поліноміальний час може вирішити повні проблеми PSPACE в поліноміальний час Однак усі посилання, які я можу знайти на цю тему (Simon 1974, Schonhage 1979), також включають …

13 complexity-theory  reference-request  computation-models  history