Позволять гGG быть графом, вложенным в ориентируемую компактную поверхность рода гggтак что вложение является клеточным. Рассмотрим двойственный графикг*G∗G^*, ПозволятьС1C1C_1 а также С2C2C_2 быть непересекающимися циклами в г*G∗G^* гомотопны друг другу и позволяют Е1E1E_1 а также Е2E2E_2 быть их...
Я ищу VC-размерность следующей заданной системы. вселенная U= {п1,п2, ... ,пм}U={p1,p2,…,pm}U=\{p_1,p_2,\ldots,p_m\} такой, что U⊆р3U⊆R3U\subseteq \mathbb{R}^3, В заданной системерR\mathcal{R} каждый набор S∈ RS∈RS\in \mathcal{R} соответствует сфере в R3R3\mathbb{R}^3 такой, что множество SSS...
В предыдущем вопросе « Параметризованный алгоритм поиска бикликов» я поинтересовался, существуют ли быстрые параметризованные алгоритмы для нахождения -биклика в графе вершин, и узнал, что он открыт, если он равен FPT относительно . То же самое верно и для подсчета в -bicliques, или известно , что...
Я хотел бы извиниться перед всеми постами ниже. Выбрал не тот форум, чтобы опубликовать это в оригинале. Однако вместо того, чтобы сделать это пустой тратой, я переработал вопрос, чтобы он стал настоящей проблемой «теоретической информатики». Задача: Создать алгоритм, который принимает набор из n...
Позволять SSSбыть единым квадратом. Как функцияββ\betaкакое максимальное количество ββ\beta-жирных попарно непересекающихся областей диаметром не менее 1, которые могут пересекатьсяSSS? Ниже мы приводим рисунок, показывающий, что для β=1β=1\beta=1Максимальное количество равно 7. Как насчет для...
Есть некоторые проблемы NP-Complete ( , \ mathsf {SUBSETSUM} и т. Д.), О которых известно, что они находятся в \ mathsf {DSPACE (n)} . Как насчет сублинейных пространств?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Существует ли какая-либо...
Согласно названию, кроме использования универсального LP-решателя, существует ли подход для решения систем неравенств по переменным xi,…,xkxi,…,xkx_i, \ldots, x_k где неравенства имеют вид ∑i∈Ixi<∑j∈Jxj∑i∈Ixi<∑j∈Jxj\sum_{i \in I} x_i < \sum_{j \in J} x_j? А как насчет особого случая...
Это вопрос, который я задал на форуме по математике SE, и меня сюда направили. Так вот вопрос Я новичок в формальной математике и теоретической информатике, поэтому, пожалуйста, потерпите меня, если вы обнаружите, что мой вопрос не сформулирован должным образом. Объектно-ориентированное...
Предположим, у нас есть график nnnузлы. Мы хотели бы назначить каждому узлу либо+1+1+1 или −1−1−1, Назовите это конфигурациейσ∈{+1,−1}nσ∈{+1,−1}n\sigma \in \{+1,−1\}^n, Номер+1+1+1с, что мы должны назначить точно sss (отсюда количество −1−1−1с это n−sn−sn−s.) Учитывая конфигурацию σσ\sigmaСмотрим...
Я ищу теорему, которая говорит что-то вроде этого: если время накрытия обратимой цепи Маркова мало, то спектральная щель велика. Здесь спектральная щель означаетто есть мы игнорируем наименьшее собственное значение цепочки.1 - |λ2|1-|λ2|1-|\lambda_2| Единственный результат, который мне удалось...
Изменить: теперь есть дополнительный вопрос, связанный с этим сообщением. Определения Позволять ccc а также kkkбыть целыми числами. Мы используем обозначения[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\}, c×cc×cc \times c матрица M=(mi,j)M=(mi,j)M = (m_{i,j}) Говорят, что ccc-До-kkkраскраска,...
Я задал эту проблему в MathOverflow , без какого-либо удовлетворительного ответа. Рассмотрим следующую игру для двух игроков, которая является упрощением карточной игры Winner . (Следующая формулировка была взята из комментария Гийома Брунери о MathOverflow.) Есть два игрока A и B. У каждого игрока...
Я ищу алгоритм для рисования смешанного графа групп интересов / зависимостей (для лингвистического приложения). Такой граф будет иметь два разных типа вершин (токены, узлы) и два разных типа ребер (иерархические, неиерархические). Я новичок в теории графов и алгоритмах в целом, и я надеюсь, что...
Я боролся с техническими деталями доказательства теории аукциона в этой статье: http://users.eecs.northwestern.edu/~hartline/omd.pdf В частности, теорема 2.5: необходимые и достаточные условия для правдивого механизма. Более конкретно, прямое направление доказательства, приведенное на странице 6....
Я работаю в области структурной инженерии, и я хотел бы найти эффективный алгоритм для построения приближения (в метрике Хаусдорфа) выпуклого тела КKK выпуклой оболочкой Nnn эллипсоиды, для некоторых фиксированных Nnn, В настоящее время я работаю только в измерениях 2 и 3. Моей первой идеей было...
Background––––––––––––––Background_\underline{\bf Background} В 2005 году Регев [1] представил проблему «Обучение с ошибками» (LWE) - обобщение проблемы «Обучение с ошибками». Предположение о сложности этой задачи для определенных вариантов параметров теперь лежит в основе доказательств...
Мой вопрос касается теории конечных моделей / описательной сложности, поэтому будет означать «первый порядок по конечным двоичным словам с использованием предикатов Rs и унарного предиката P true в позиции 1 в слове».FO ( R )FО(р)FO(R) Я хотел бы знать, есть ли какая-либо характеристика с R любым...
Это мягкий вопрос, направленный на выяснение того, что люди считают лучшей профессиональной практикой для подачи неоригинальной работы на arXiv. Существует черновик статьи [1] Роберта Селешеньи, опубликованной в его веб-пространстве в Чикагском университете и написанной, по-видимому, более десяти...
Я знаю, что ожидаемое время выполнения алгоритма рандомизированного инкрементального инкрементального триангуляции Делоне (как указано в « Вычислительной геометрии» ) составляет . Существует упражнение, которое подразумевает, что наихудший вариант выполнения - . Я попытался построить пример, где...
Пусть - случайная величина, принимающая значения в (для некоторого большого алфавита ), которая имеет очень высокую энтропию - скажем,для сколь угодно малой постоянной . Пусть - событие в опоре такое что , где \ varepsilon - сколь угодно малая...