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

Посилання-запит використовується тоді, коли автору необхідно знати про роботу, пов’язану з питанням.

2
Запит на довідку: Асимптотична твердість
Я чув про результат у приблизному забарвленні графіка, але не можу знайти джерело. Результат: Для кожної постійної існує достатньо великий k такий, що забарвлення k -кольорового графіка кольорами h k є NP-важким.годhhкkkкkkч кhkhk Може хтось, будь ласка, вкаже мене на відповідний документ?

1
Література з аналізу псевдонімів
Я пишу магістерську роботу в КС і працюю з аналізом псевдонімів. Мене цікавить те, що це внутрішньопроцедурний, чутливий до потоку аналіз обов'язкових і псевдонімів для язиків, схожих на Java. Я шукаю тексти, які детально описують основи цієї теми, але не змогли знайти нічого, що насправді підходить. Я пережив низку підручників …

1
Булева формула, що врівноважується в
Я шукаю посилання на складність задачі балансування булевих формул . Зокрема, Чи було відомо, що булеві формули можна збалансувати в AC0AC0\mathsf{AC^0} ? Чи є простий доказ врівноваження булевої формули в AC0AC0\mathsf{AC^0} ? Під "простим" я маю на увазі доказ простіший, ніж той, який я згадую нижче, зокрема я шукаю доказ, …

2
Вступні ресурси з теорії обчислювального навчання
Нещодавно я читав пристойну кількість статей CoLT. Хоча я не борюся з окремими роботами (принаймні, не більше, ніж я зазвичай борюся з іншими теоретичними документами), я не відчуваю, що я добре розумію цю сферу в цілому. Чи є стандартний текст, опитування чи конспекти лекцій для введення CoLT на рівні випускників? …

1
Алгоритми на графіках, представлених за допомогою BDD
Найпростіші подання для графіків використовують матриці / списки суміжності, тобто кожен вузол і край явно представлені. Важливість неявних уявлень для графіків, що демонструють чіткі закономірності, давно визнана. Наприклад, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( Примітка про кращі представлення графіків , 1986) досліджували питання про графіки, матриця суміжності яких …

1
Створення графіків діапазону
Нехай . Мені потрібно генерувати прості графіки G діапазону g такі, що множина всіх g -циклів утворює подвійну крайку кришку G (тобто кожне ребро поділяється рівно на два g -цикли), і таке, що перетин будь-яких двох g -цикли - це вершина, край або порожній. Сформовані графіки повинні бути довільно великими.г≥ …

1
Правило усунення рівності на основі уніфікації
Кілька років тому я зіткнувся з наступним лівим правилом щодо рівності в послідовному обчисленні: s ≐ t ⇝ θθ ( Γ ) ⊢ θ ( C)Γ , s ≐ t ⊢ Cс≐т⇝θθ(Γ)⊢θ(С)Γ,с≐т⊢С \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Тут обчислює найбільш …

1
Що є доказом того, що квантові комп'ютери можуть ефективно імітувати довільні квантові механічні системи?
JBV запропонував я перетворити деякі коментарі на запитання, і ось далі. Ще одне питання [1] задає додатки обчислень QM. Одна з відповідей [2] полягала в "ефективному моделюванні квантової механіки". Мабуть, ця ідея сягає аж до раннього написання Фейнмана на цю тему; хоча я не маю довідки. Тому: Питання. Що є …


1
Визначте мінімальну кількість зважувань монет
У статті Про дві проблеми теорії інформації Ердас та Реній дають нижчі межі щодо мінімальної кількості зважувань, яку необхідно зробити, щоб визначити кількість помилкових монет у наборі з монет.ннn Більш офіційно: Помилкові монети мають меншу вагу, ніж праві монети; ваги і b < a як правильних, так і помилкових монет …

2
Компромісні межі для підрахунку діапазону Halfspace
Яка найкраща межа в даний час для виконання запитів підрахунку діапазону напівпростори на наборі -вимірних точок, виражених у вигляді компромісу часу / простору. Згідно з первинним документом Матусека 1993 року (теорема 6.2, Пошук у діапазоні з ефективними ієрархічними вирізаннями), ми можемо зробити підрахунок діапазонів для запитів, що є перетином p …

1
Діаграма Вороного в графіку
Нехай - графік із (позитивно) зваженими ребрами. Я хочу , щоб визначити діаграму Вороного для набору вузлів / сайтів S , щоб асоційованої з вузлом V ∈ S підграф R ( v ) з G , індукованого всі вузли строго ближче до V , ніж до будь-якого іншого вузла S …

3
Ресурс / книга для останніх досягнень теорії статистичного навчання
Я досить знайомий з теорією VC-Dimension, але зараз я дивлюся на останні (останні 10 років) досягнення в галузі теорії статистичного навчання: (місцеві) середні показники Rademacher, лема кінцевого класу Массарта, покриття чисел, ланцюжок, Дадлі Теорема, псевдомірність, розмір руйнування жирів, номери упаковки, склад радімахера та, можливо, інші результати / інструменти, про які …

3
Введіть умовивід для імперативних висловлювань, крім призначення
У моєму пошуку наукових праць щодо типів систем імперативних мов я знаходжу рішення лише для мови з змінними посиланнями, але без справжніх імперативних структур управління, таких як складові оператори, цикли або умовні умови. Тож незрозуміло, як може бути реалізована імперативна мова з частковим висновком типу, наприклад http://rust-lang.org . У документах …

2
Чи існує квантовий алгоритм алгоритму ala Deutsch, який обчислює І замість XOR?
Алгоритм Дойча є добре відомим квантовим обчисленням f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} лише з одним оцінкою fff . Якщо ми замінимо +++ на ⋅⋅\cdot проблема здається стає зовсім іншою. Моє запитання: чи існує квантовий алгоритм, який обчислює значення f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (або AND, якщо вам зручніше), використовуючи лише одне оцінювання fff . Інакше: …

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.