Вопросы с тегом «reference-request»

Следующее кажется мне естественным определением, и мне интересно, изучалось ли оно где-нибудь Рассматривать X⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}набор языков. затемK⊂{0,1}ωK⊂{0,1}ωK \subset \lbrace 0, 1 \rbrace^\omega называется "XX\mathsf{X}проверяемая информация "когда есть L∈XL∈XL \in \mathsf{X} улица (Я) Дано x∈Lx∈Lx \in Lкаждый префикс xxx в LLL (ii) Дано f∈Kf∈Kf \in Kкаждый префикс …

9 cc.complexity-theory  reference-request 

Заинтригованный интересным вопросом Криса Пресси об элементарно-рекурсивных функциях , я изучал больше и не мог найти ответ на этот вопрос в Интернете. В Элементарные рекурсивные функции соответствуют хорошо экспоненциальной иерархии,DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots, Это кажется простым из определения, решение , проблемы неразрешимы (термин?) По более низким -элементарным функциям должен …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

Мой вопрос немного расплывчатый. Мне было интересно, если (и как), мы можем применить понятие ширины дерева для задач упаковки в графах. Я был бы счастлив с любым пониманием или ссылками прошлой исследовательской работы на этом (предполагая, что они - некоторая связь). Спасибо.

9 ds.algorithms  reference-request  graph-theory  graph-algorithms  approximation-algorithms 

В контексте некоторых недавних работ мы определили язык, основанный на трехзначной логике а-ля Клини, где111 означает истинное, 000 за ложь и ⊥⊥\botза ошибку или не знаю. Чтобы показать, что наш язык выразителен, мы хотели доказать, что мы можем построить функционально завершенный набор операторов. Было довольно трудно найти существующие результаты в …

9 reference-request  lo.logic 

Предположим структуру в сложности коммуникации, где у нас есть два игрока A (вши) и B (ob) и R (eferee). А и Б не общаются напрямую друг с другом. В каждом раунде общения каждый из них отправляет сообщение (mAmAm_A, mBmBm_B) в R.R вычисляет две функции fA(mA,mB)fA(mA,mB)f_A(m_A,m_B) а также fB(mA,mB)fB(mA,mB)f_B(m_A,m_B)и отправляет результаты …

9 cc.complexity-theory  reference-request  communication-complexity 

Для применения машинного обучения моя группа должна рассчитать евклидово расстояние до Кkkближайший сосед в наборе ИксXX для каждого x∈(X∪Y)⊂Rdx∈(X∪Y)⊂Rdx \in (X \cup Y) \subset \mathbb R^d (за ddd от 5 до 100, и |X|≈|Y||X|≈|Y||X| \approx |Y|от нескольких сотен до нескольких миллионов). В настоящее время мы используем либо грубую силуO(d|X||X∪Y|)O(d|X||X∪Y|)O(d \lvert …

9 reference-request  cg.comp-geom  near-neighbors 

Везде, где я читаю о проблеме разреженного разреза, это говорит только о том, что проблема, как известно, является NP- трудной. Где я могу найти подтверждение этому? Какая известная NP- трудная проблема сводится к проблеме разреженного разреза? Я не смог найти никаких доказательств в книге Вазирани «Алгоритмы аппроксимации», в которой представлен …

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

У меня есть семейство задач линейного программирования: максимизировать учетом , . Элементы , и являются неотрицательными целыми числами, строго положительными. ( также должен быть целым, но я буду беспокоиться об этом позже.)c′xc′xc' xAx≤bAx≤bA x\le bx≥0x≥0x\ge0AAAbbbccccccxxx В моем приложении часто случается, что коэффициенты и таковы, что упрощенный однопроходный алгоритм дает оптимальное …

9 ds.algorithms  reference-request  linear-programming  matrices 

Мне интересно узнать больше об забытых в кеше алгоритмах и структурах данных, но есть так много статей, что я, честно говоря, не знаю, с чего начать. Я нашел оригинальный тезис Прокупа по этому вопросу, который кажется хорошей отправной точкой, но если есть простое и доступное введение в предмет, я бы …

9 ds.algorithms  reference-request  cache-oblivious 

Я был бы признателен за любые указания или термины, которые могли бы привести меня в правильном направлении. У нас есть ориентированный граф и длины для каждого ребра которое можно считать положительным. Существует специальный начальный узел и конечный узел .G = ( V, E)гзнак равно(В,Е)G=(V,E)Lя жLяJl_{ij}я жяJijsssTTt Для каждого ребра мы …

9 ds.algorithms  reference-request  graph-algorithms 

Мне интересно, есть ли у следующей проблемы имя или какие-либо результаты, связанные с ним. Пусть - взвешенный граф, где обозначает вес ребра между и , и для всех , . Задача состоит в том, чтобы найти подмножество вершин, которое максимизирует сумму весов смежных с ними ребер: Обратите внимание, что я …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

Поскольку это пятница, пришло время для CW вопроса. Я ищу эвристики, которые широко используются в задачах оптимизации. Чтобы ограничить область применения более «дружественной теории» эвристики, вот правила (некоторые произвольные, некоторые нет) Это должен быть четко определенный метод без многочисленных параметров и с конкретным временем выполнения (возможно, на одну итерацию) Он …

9 ds.algorithms  reference-request  optimization  heuristics 

Я хотел бы знать, куда я могу обратиться за хорошим, мягким введением в k-SAT (это может быть для математиков, которые могут не иметь хорошего компьютерного фона). Я также хотел бы знать статьи, которые, возможно, опрашивают или объясняют текущие методы, используемые для решения k-SAT. Наконец, меня интересуют самые известные методы решения …

9 reference-request  sat  survey 

Мне было трудно найти алгоритм или опубликовать статьи о триангуляции самопересекающегося многоугольника (также многоугольника со структурой дырок). Может, кто-нибудь поможет мне найти опубликованную статью / алгоритм, пожалуйста? PS: кто-то пометит этот вопрос соответствующим образом, пожалуйста, мне не хватает очков репутации, чтобы сделать это.

9 ds.algorithms  reference-request  cg.comp-geom 

Позволять ВVV быть набором DDDпрямоугольные формы. Заd∈ { 1 , . , , , D }d∈{1,...,D}d \in \{1,...,D\} а также v ∈ Vv∈Vv \in V, wd(v)∈Q+wd(v)∈Q+w_d(v) \in \mathbb{Q}^{+} описывает длину vvv в измерении ddd, То же обозначение используется для контейнераCCC, DDDзадача об ортогональной упаковке (OPP-DDD) решить, VVV помещается в контейнер …

9 cc.complexity-theory  reference-request  np-hardness  packing