Запитання з тегом «dc.distributed-comp»

Визначення Нехай а , і - натуральні цілі числа (з ).d r g g > 2 r + 1ϵ > 0ϵ>0\epsilon > 0гddrrrгggг> 2 r + 1g>2r+1g > 2r+1 Нехай - простий, -регулярний, непрямий, кінцевий графік з обхватом не менше .d gG = ( V, Е)G=(V,E)G = (V,E)гddгgg Нехай бути …

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

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

10 turing-machines  dc.distributed-comp 

Девід Родрігес - dribeas написав у коментарі StackOverflow, що "Не всі колекції можна реалізувати без блокування". Я не впевнений, чи це правда, і я не можу знайти доказів в будь-якому випадку. Це твердження не дуже точне, але дозвольте спробувати переформулювати його дещо формальніше: для кожного типу колекції Cіснує безконтактний збірник …

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, Е)Г=(V,Е)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 cM=(mi,j)M=(mi,j)M = (m_{i,j})ccckkk маємо для всіх ,mi,j∈[k]mi,j∈[k]m_{i,j} \in [k]i,j∈[c]i,j∈[c]i, j \in [c] для всіх з та ми маємо …

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