«reference-request» 태그된 질문

참조 요청은 저자가 질문과 관련된 작업에 대해 알아야 할 때 사용됩니다.

4
분산 컴퓨팅에서 합의 문제가 중요한 이유는 무엇입니까?
분산 컴퓨팅에서 합의 문제는 집중적 인 연구를 이끌어 낸 중심 주제 중 하나 인 것 같습니다. 특히 "하나의 결함있는 프로세스에 대한 분산 합의의 불가능 성"이라는 논문은 2001 PODC 영향력 논문상을 받았습니다 . 컨센서스 문제가 왜 그렇게 중요한가? 이론과 실제에서 합의를 통해 무엇을 달성 할 수 있습니까? 어떤 언급이나 설명도 도움이 …
3
행렬이 완전히 규칙적인지 결정하는 복잡성
모든 정사각형 서브 매트릭스가 전체 순위를 갖는 경우 행렬을 완전히 규칙이라고합니다. 이러한 매트릭스는 초 집중기를 구성하는 데 사용되었습니다. 주어진 행렬이 이성에 대해 완전히 규칙적인지를 결정하는 복잡성은 무엇입니까? 유한 필드 이상? 보다 일반적으로, 최대 크기의 모든 정사각형 서브 매트릭스 가 전체 순위를 갖는 경우 행렬을 완전히 정규식이라고합니다 . 행렬과 매개 변수 …
2
Cheeger 상수 계산 : 어떤 클래스에 적합합니까?
isoperimetric 상수라고도 하는 그래프 의 Cheeger 상수를 계산하는 것은 (기본적으로 최소 면적 / 볼륨 비율이기 때문에) NP- 완전한 것으로 알려져 있습니다. 일반적으로 근사치입니다. 정확한 다항식 알고리즘이 특수 클래스의 그래프에 대해 알려 진지 알고 싶습니다. 예를 들어, 일반 그래프의 경우 NP- 완료 상태 입니까? 대한 거리 정규 그래프 ? (나는 그들의 …
4
양적 금융의 계산 복잡성
주식 시장을 예측하는 것은 어렵습니다! TCS가이 정서를보다 공식적으로 만들 수 있습니까? 최근 저는 금융에 대해 조금 생각하기 시작했으며 TCS에 대한 지식이 어떻게 도움이 될지 궁금했습니다. 헤지 펀드와 투자 회사는 항상 알고리즘 거래, 기계 학습 및 AI를 사용하는 것처럼 보이지만 TCS 결과는 거의 없습니다. 특히, 나는 두 종이 만 알고있다 : …
11
실제 컴퓨터 네트워크에 대한 랜덤 그래프 모델
실제 컴퓨터 네트워크의 그래프와 유사한 임의 그래프 모델에 관심이 있습니다. 잘 연구 된 일반적인 모델 ( 개의 정점, 각 가능한 가장자리는 확률 로 선택 )이 실제 컴퓨터 네트워크를 연구하는 데 좋은지 잘 모르겠습니다 (그렇 습니까?).G(n,p)G(n,p)G(n,p)nnnppp 실제로 발생하는 컴퓨터 네트워크를 이해하는 데 유용한 임의 그래프 모델은 무엇입니까? 보다 일반적으로, 문헌에서 연구 …
3
Craig interpolant를 계산하는 데 알려진 알고리즘은 무엇입니까?
보간 계산을위한 알고리즘에 대한 조사가 있습니까? 하나의 알고리즘에 대한 논문은 어떻습니까? 내가 가장 관심이있는 경우는 및 C = q 이며, 보간이 가능한 작다는 제약이 있습니다. (나는 2005 년부터 McMillan의 논문을 알고있다.이 논문은 정량자를 피하면서 보간법을 얻는 방법을 설명한다.)A = ¬ p ∧ qA=¬p∧qA=\lnot p\land q씨= qC=qC=q 배경 : 크레이그 보간 …
2
적은 양의 입력을 제외한 효율적인 솔루션의 문제
튜링 기계의 정지 문제는 아마도 정식 결정 불가능한 세트 일 것입니다. 그럼에도 불구하고 거의 모든 인스턴스를 결정하는 알고리즘이 있음을 증명합니다. 따라서 정지 문제는 복잡성 이론의 "블랙홀"현상을 나타내는 사람들의 증가하는 수집 중에 있으며, 실현 불가능하거나 결정 불가능한 문제의 어려움은 문제가있는 매우 작은 영역 인 블랙홀에 국한됩니다. 쉬운. [Joel David Hamkins와 Alexei …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
구분자 쿼리에서 트리 재구성
가 구조를 모르는 상수도 트리 라고 가정하십시오 . 문제는 "노드 가 노드 에서 노드 까지의 경로에 있습니까?" 와 같은 쿼리를 요청 하여 트리 를 출력하는 것입니다 . 오라클은 각 쿼리에 일정한 시간 안에 응답 할 수 있다고 가정합니다. 트리의 노드 수인 값을 알고 있습니다. 목표는 트리를 출력하는 데 걸리는 시간을 …
3
결정 모듈로 m
계수의 정수 행렬의 행렬식을 계산하기위한 효율적인 알고리즘 공지 무엇 , 잔여 물의 링 모듈로 . 숫자 (연산이, 링 필드를 수행하지 않도록) 프라임하지만 합성 될 수 없다. mm지미디엄Zm\mathbb{Z}_m미디엄mm미디엄mm 내가 아는 한 (아래 읽기), 대부분의 알고리즘은 가우시안 제거 수정입니다. 문제는 이러한 절차의 계산 효율성에 관한 것입니다. 다른 접근법이있는 경우, 나는 또한 그것에 …
2
XORification의 사용
XORification은 모든 변수 를 고유 변수 의 XOR 로 대체하여 부울 함수 또는 수식을 더 어렵게 만드는 기술 입니다. k ≥ 2 x 1 ⊕ … ⊕ x k엑스xxk ≥ 2k≥2k\geq 2엑스1⊕ … ⊕ x케이x1⊕…⊕xkx_1 \oplus \ldots \oplus x_k 필자는 논문과 같이 해상도 기반 증명 시스템의 공간 하한을 얻기 위해 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.