«dc.distributed-comp» 태그된 질문

정의 하자 및하자 D , R을 , 그리고 g는 (양의 정수로 할 g > 2 , R + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 하자 , 간단한 일 거라고 적어도 둘레와 정규적인, 방향성이 유한 그래프 g .G=(V,E)G=(V,E)G = (V,E)dddggg 하자 에 전체 순서 수 V .≤≤\leVVV 각 ,하자 V V …

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

분산 시스템에 중점을 둔 이론적 컴퓨터 과학에 관심이있는 마스터 학생입니다. 튜링 머신 위에 분산 시스템의 공식 표현이 있는지 궁금합니다. 즉, 분산 컴퓨팅을 이용하기 위해 튜링 머신의 개념을 확장 (변형 화) 할 수 있습니까? 한 가지 아이디어 는 TM간에 공유 테이프 ( Tuple Space 와 비슷한 것)를 만드는 것 입니다.

10 turing-machines  dc.distributed-comp 

David Rodríguez-dribeas는 StackOverflow에 대해 "모든 컬렉션을 잠금없이 구현할 수있는 것은 아닙니다"라고 언급 했습니다. 이것이 사실인지 확실하지 않으며 어느 쪽의 증거도 찾을 수 없습니다. 이 문장은 매우 정확하지는 않지만 조금 더 공식적인 방식으로 다시 표현해 보도록하겠습니다. 모든 컬렉션 유형마다 동일한 작업 집합을 제공 C하는 잠금없는 컬렉션 유형 CLF 가 있으며 CLF …

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

단순화 된 클래식 데이터베이스 트랜잭션은 다음과 같이 볼 수 있습니다. M 항목 읽기 해당 읽기를 기반으로 일부 계산 수행 이러한 계산에 기초하여 일부 N 개의 결과를 작성하는 데, 여기에는 원래 읽은 요소가 포함될 수 있습니다. 이러한 트랜잭션을 동시에 수행 할 때는 ACID 속성을 유지해야합니다. 다른 비 DBMS 동시 시스템에는 정확히 …

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 \in [c] 와 i≠ji≠ji …

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