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

Я шукаю мови, "які, ймовірно, не містять контексту", але ми не в змозі (не) довести це за допомогою відомих стандартних методів. Чи є нещодавнє опитування з цього питання або відкритий проблемний розділ з недавньої конференції? Напевно, існує не так багато мов, які не відомі як CF, тому якщо ви знаєте …

21 reference-request  big-list  context-free 

Під час своїх досліджень я зіткнувся з таким результатом. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 де m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) і a1,⋯,ama1,⋯,ama_1,\cdots,a_m вибираються навмання з [n][n][n] . Я шукаю посилання / прямий доказ. Перехрещений на МО

21 reference-request  co.combinatorics  pr.probability 

Коли я навчаю межі хвоста, я використовую звичайну прогресію: Якщо ваш rv позитивний, ви можете застосувати нерівність Маркова Якщо у вас є незалежність, а також обмежена дисперсія, ви можете застосувати нерівність Чебишева Якщо кожен незалежний rv також обмежує всі моменти, то ви можете використовувати прив'язку Chernoff. Після цього речі стають …

21 reference-request  pr.probability  randomized-algorithms 

Передумови: Нехай - дві вершини непрямого графа G = ( V , E ) . Вершина безліч S ⊆ V є U , V -separator , якщо у і v належать до різних компонентів зв'язності G - S . Якщо немає належного підмножини u , v -separator S є u …

21 reference-request  graph-theory  graph-algorithms 

Є багато місць, де числа ππ\pi і (1+5–√)/2(1+5)/2(1+\sqrt5)/2покажи. Мені цікаво дізнатися про алгоритми, час виконання яких містить золоте відношення абоππ\piв експоненті.

21 reference-request  big-list 

Розглянемо наступні міркування: Нехай K(x)K(x)K(x) позначає складність Колмогорова рядка xxx . Теорема про незавершеність Хайтіна говорить про це для будь-якої послідовної і досить сильною формальної системи SSS , існує постійна TTT ( в залежності тільки від формальної системи та її мови), що для будь-якого рядка xxx , SSS не може …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

Нещодавно я працював над проблемою для обчислення приблизної суми списку відсортованих негативних чисел. При будь-якому фіксованому , з O ( журнал N ) тимчасової схеми апроксимації була отримана таким чином, що вона дає ( 1 + е ) -аппроксімація на суму. Стаття розміщена на веб-сайті http://arxiv.org/abs/1112.0520 , яка не була …

21 ds.algorithms  reference-request 

Я бачив (і чув), що він стверджував, що можна додати класичну аксіому виключеного середини до Coq, але я не можу знайти документ, що підтверджує це твердження. Документи, які я бачу в списку на вікі Coq про виключені середини, виявляють невідповідність непередбачуваному набору. Справді, здається, що Coquand стверджує, що додавання Виключеного …

21 reference-request  lo.logic  coq 

(Це продовження цього питання та його відповідь .) У мене є наступна цілком одномодульна (TU) ціла лінійна програма (ILP). Тут - усі додатні цілі числа, подані як частина вхідних даних. Зазначений підмножина змінних x i j встановлюється нулем, а решта може приймати додатні інтегральні значення:ℓ , м , н1, н2, …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} фіксує ідею про ефективну паралелізацію, і одне її тлумачення - це проблеми, що вирішуються за часом використовуючи паралельні процесори для деяких констант , . Моє запитання, чи існує аналогічний клас складності, …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

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

21 reference-request  randomness  derandomization 

У мене є два історичні питання: Хто вперше описав недетерміновані обчислення? Я знаю, що Кук описав проблеми NP-завершені, і що Едмондс запропонував алгоритми P "ефективні" або "хороші" алгоритми. Я шукав цю статтю у Вікіпедії та проскакував "Про обчислювальну складність алгоритмів", але не зміг знайти жодного посилання на те, коли вперше …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

У Вікіпедії наводяться приклади проблем, коли версію для підрахунку важко, тоді як версія рішення є легкою. Деякі з них - це підрахунок ідеальних відповідностей, підрахунок кількості розчинів для 222 -SAT та кількості топологічних сортувань. Чи є якісь важливі класи (скажімо приклади в ґратах, деревах, теорії чисел тощо)? Чи є збірник …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

(Це питання трохи "опитування".) В даний час я працюю над проблемою, коли я намагаюся розділити краї турніру на два набори, обидва необхідні для виконання деяких структурних властивостей. Проблема "відчувається" досить важко, і я повністю очікую, що це буде -комплект. Чомусь мені важко навіть знайти подібні проблеми в літературі.NПNP\mathcal{NP} Приклад проблеми, …

20 cc.complexity-theory  reference-request  np-hardness 

Хоча теорема Адлемана показує, що , я не знаю жодної літератури, що досліджує можливе включення . Які складні теоретичні наслідки матиме таке включення?B Q P ⊆ P / polyB P P ⊆ P / polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Теорему Адлемана іноді називають "родоначальником аргументів дерандомізації". Вважається, що не може …

20 reference-request  quantum-computing  derandomization  conditional-results