Вопросы с тегом «dc.distributed-comp»

Определения Пусть ϵ>0ϵ>0\epsilon > 0 и пусть ddd , rrr и ggg - натуральные числа (при g>2r+1g>2r+1g > 2r+1 ). Пусть G=(V,E)G=(V,E)G = (V,E) простой регулярный неориентированный конечный граф с обхватом не менее .гdddggg Пусть быть общий порядок на .V≤≤\leVVV Для каждого пусть состоит из узлов, находящихся на расстоянии от …

10 graph-theory  co.combinatorics  dc.distributed-comp 

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

10 turing-machines  dc.distributed-comp 

Дэвид Родригес - dribeas написал в комментарии к StackOverflow, что «Не все коллекции могут быть реализованы без блокировок». Я не уверен, правда ли это, и я не могу найти доказательств в любом случае. Это утверждение не очень точное, но позвольте мне попытаться перефразировать его немного более формально: для каждого типа …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

Упрощенная классическая транзакция базы данных может рассматриваться как: чтение М предметов выполняя некоторые расчеты на основе этих чтений написание некоторых N результатов, основанных на этих расчетах, которые могут включать элементы, которые изначально были прочитаны. При выполнении этих транзакций (одновременно) необходимо поддерживать свойства ACID . Точно такие же требования (N обновлений …

10 ds.algorithms  dc.distributed-comp 

Какие документы по обработке ошибок в распределенных системах вы рекомендуете?

10 reference-request  dc.distributed-comp 

Пусть нерегулярный связный граф, степень которого ограничена. Предположим, что каждый узел содержит уникальный токен.G=(V,E)G=(V,E)G= (V, E) Я хочу равномерно перетасовать токены среди графа, используя только локальные перестановки (т.е. обмен токенами между двумя соседними узлами)? Известна ли нижняя граница для этой проблемы? Единственная идея, которая у меня возникла, - это использовать …

10 ds.algorithms  random-walks  dc.distributed-comp 

Во введении к этой статье « В конечном итоге линеаризуемые общие объекты» (PODC'10) авторы представили следующее утверждение без ссылок: Однако линеаризуемость может быть достигнута тогда и только тогда, когда можно достичь консенсуса. Здесь линеаризуемость - это самое сильное известное свойство согласованности общих объектов, которое предлагается в статье « Линеаризуемость: условие …

9 reference-request  dc.distributed-comp 

Изменить: теперь есть дополнительный вопрос, связанный с этим сообщением. Определения Позволять 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раскраска, если выполнено следующее: у нас есть mi,j∈[k]mi,j∈[k]m_{i,j} \in [k] для всех i,j∈[c]i,j∈[c]i, j \in [c], для всех i,j,ℓ∈[c]i,j,ℓ∈[c]i,j,\ell …

9 co.combinatorics  lower-bounds  dc.distributed-comp