Вклад участника Irina

Поиск вкладаразвернутьсвернуть

⧼contribs-top⧽

IP-адрес или имя участника:

Пространство имён:

Обратить выбранное

Связанное пространство

Фильтр меток:

Показывать только правки, являющиеся последними версиями

Показывать только правки, являющиеся созданием страниц

Скрыть малые правки

⧼contribs-date⧽

С даты:

По дату:

03:4203:42, 25 марта 2025 разн. история +2‎ м Максимальная выполнимость формул в 2-КНФ ‎ →‎Основные результаты
03:4203:42, 25 марта 2025 разн. история +25 668‎ Н Максимальная выполнимость формул в 2-КНФ ‎ Новая страница: «== Ключевые слова и синонимы == МАКС 2-ВЫП (''MAX 2-SAT'') == Постановка задачи == В задаче о максимальной выполнимости формул в 2-КНФ (которая далее будет обозначаться как MAX 2-SAT, или МАКС 2-ВЫП) на входе имеется булева формула в конъюнктивной нормальной форме, такая...»

15:1815:18, 16 марта 2025 разн. история +3‎ м Пороги для задачи выполнимости случайной k-КНФ ‎ →‎См. также

13:1613:16, 13 марта 2025 разн. история +216‎ Пороги для задачи выполнимости случайной k-КНФ ‎ →‎Постановка задачи

15:1215:12, 2 марта 2025 разн. история +19 738‎ Н Пороги для задачи выполнимости случайной k-КНФ ‎ Новая страница: «== Ключевые слова и синонимы == Фазовые переходы (''Phase transitions''); вероятностный анализ эвристики Дэвиса-Путнам (''Probabilistic analysis of a Davis-Putnam heuristic'') == Постановка задачи == Рассмотрим n булевых переменных V = fx1...xng и соответствующий набор из 2n литералов L = {х\,х\...xn;xng....»

13:2913:29, 18 февраля 2025 разн. история +362‎ Топологический подход в распределенных вычислениях ‎ →‎Основные результаты
13:0913:09, 18 февраля 2025 разн. история +210‎ Топологический подход в распределенных вычислениях ‎ →‎Основные результаты
13:0313:03, 18 февраля 2025 разн. история +14‎ м Топологический подход в распределенных вычислениях ‎ →‎Постановка задачи
11:4311:43, 18 февраля 2025 разн. история +25‎ м Переименование ‎ →‎Ключевые слова и синонимы текущая
11:4211:42, 18 февраля 2025 разн. история +21 962‎ Н Топологический подход в распределенных вычислениях ‎ Новая страница: «== Ключевые слова и синонимы == Переименование без ожидания (''Wait-free renaming'') == Постановка задачи == Применение методов комбинаторной и алгебраической топологии позволило успешно решить ряд проблем в области распределенных вычислений. В 1993 году три незави...»
08:5208:52, 18 февраля 2025 разн. история +12‎ м Минимальное остовное дерево ‎ →‎Основные результаты текущая
08:5108:51, 18 февраля 2025 разн. история +10‎ м Минимальное остовное дерево ‎ →‎Условия оптимальности
07:4307:43, 18 февраля 2025 разн. история +35‎ м Детекторы сбоев ‎ →‎Постановка задачи

12:3212:32, 10 января 2025 разн. история +5‎ м Детекторы сбоев ‎ →‎Открытые вопросы
12:3012:30, 10 января 2025 разн. история −24‎ м Детекторы сбоев ‎ →‎Применение
12:1812:18, 10 января 2025 разн. история +50‎ м Детекторы сбоев ‎ →‎Основные результаты
11:1411:14, 10 января 2025 разн. история +3‎ м Детекторы сбоев ‎ →‎Основные результаты
11:0711:07, 10 января 2025 разн. история +8‎ м Детекторы сбоев ‎Нет описания правки
06:1606:16, 10 января 2025 разн. история +116‎ м Детекторы сбоев ‎ →‎Постановка задачи
06:0906:09, 10 января 2025 разн. история +2‎ м Причинно-следственное упорядочение, логические часы, репликация конечного автомата ‎ →‎Постановка задачи текущая
06:0506:05, 10 января 2025 разн. история +92‎ м Детекторы сбоев ‎Нет описания правки

Вклад участника Irina

25 марта 2025

16 марта 2025

15 марта 2025

14 марта 2025

13 марта 2025

5 марта 2025

4 марта 2025

2 марта 2025

19 февраля 2025

18 февраля 2025

10 января 2025

30 ноября 2024

Навигация

Поиск