이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

5
다항식 시간 감소가 아닌 FPT 감소 인스턴스
매개 변수화 된 복잡성에서 사람들은 W-t-hardness를 증명하기 위해 FPT (fixed-parameter-tractable) 감소를 사용합니다. 이론적으로 FPT 감소는 다항식 시간 감소가 아닙니다. 매개 변수 k에서 지수 적으로 실행될 수 있기 때문입니다. 그러나 실제로 내가 본 모든 FPT 감소는 p- 시간 감소이며, 이는 W-t-hardness 증거는 거의 항상 NP-completeness 증거를 의미합니다. 누군가가 매개 변수 에서 …
1
확장 된 유클리드 알고리즘의 "오버플로"
질문을 할 장소가 틀렸다면 죄송합니다 (아마도 stackoverflow.com/mathoverflow.net으로 이동해야합니까?). I는 유클리드 알고리즘을 확장 평가할 때 Bezout에의 계수 (즉한다는 증거가 궁금 S 및 t 정체성 으로 + BT = GCD ( , B )), I 추측 A의 B에 따라 (일부 합리적인 값을 초과하지 않으며이 ). 특히 일부 범용 프로그래밍 언어에서 구현하면 프로그램의 …
1
Borel-Cantelli Lemma 및 Derandomization
나는 Programmability with (out) with Random Oracles 라는 제목의 논문을 읽고있었습니다 . 섹션 2.3의 마지막 단락은 다음과 같습니다. [우리의 새로운 접근법을 사용하여] Borel-Cantelli lemma 에 근거한 잘 알려진 고전적인 점근선 (그리고 균일 한) 무작위 화 기술 을 적용 할 필요가 없다 . 우리가 아는 한,이 방법은이 백서에 참신합니다. 나는 Borel-Cantelli …
2
어느 2P1R 게임이 잠재적으로 선명합니까?
2P1R (2-prover one-round) 게임은 근사 경도를위한 필수 도구입니다. 특히, 두 개의 증명 된 1 라운드 게임의 병렬 반복은 근사 문제의 결정 버전에서 간격의 크기를 늘리는 방법을 제공합니다. 주제에 대한 개요는 CCC 2010에서 Ran Raz의 설문 강연을 참조하십시오 . 게임의 병렬 반복에는 무작위 검증자가 독립적으로 작동하지만 두 플레이어가 독립적으로 게임을 플레이 …
1
PCP 정리-알파벳 감소 단계
다음은 어리석은 것처럼 보일 수 있습니다. (아마도 나의 이해 부족을 반영한 것이므로 제발 참아주세요) PCP 정리에 대한 질문이있었습니다. 우리는 처음 세 단계 이후에 알고 있습니다. 정도 감소, 확장 및 갭 증폭, 우리는 개선 된 간격과 큰 알파벳 크기 (예 : Σ d t )를 갖는 구속 그래프 가지고 있습니다. 알파벳 …
1
비 결정적 다자간 통신을위한 하한
이것은 부분 부울 함수의 통신 하한 에 관한 나의 이전의 질문입니다 . 비 결정적 다자간 의사 소통에 대한 하한에 대한 참조를 제안 할 수 있습니까? 필자는 현장에서 논문을 조사했지만 모두가 무작위 프로토콜의 하한과 비 결정적 프로토콜의 (더 작은) 상한 유형의 분리를 보여줍니다. 예를 들어 David, Pitassi 및 Viola 2009 , …
1
NP 대 co-NP 및 2 차 논리
NP = co-NP 및 다항식 가 3-CNF 인스턴스 대한 불만족스러운 증거의 길이를 제한 한다고 가정합니다 . 그렇다면 길이 에 대한 불만족스러운 증거는 어떤 형태로 나타날 수 있습니까? 즉, 그러한 증거는 예를 들어 무한한 구조보다 2 차 논리의 모든 힘을 사용해야합니다 (나는 증명할 제안-공식이 만족스럽지 않다는 것을 2 차 논리로 표현할 …
4
휴먼 인텔리전스 및 알고리즘
휴먼 인텔리전스가 알고리즘을 능가 할 수 있는지 여부를 결정하기위한 연구가 있습니까 (즉, 무료 점심 식사 정리가 휴먼 인텔리전스에 적용되는지 테스트)? 같은 선을 따라, 사람 지능의 독특하고 계산력이 뛰어난 속성을 이용하는 기술적 인 방법을 개발 한 사람이 있습니까?
2
분리 가능한 데이터에 대한 K- 평균 이외의 클러스터링 공식화
실제 데이터는 때때로 자연스러운 수의 클러스터를 갖습니다 (일부 매직 k보다 적은 수의 클러스터로 클러스터하려고하면 클러스터링 비용이 크게 증가합니다). 오늘 저는 Adam Meyerson 박사의 강의에 참석했으며 이러한 유형의 데이터를 "분리 가능한 데이터"라고했습니다. K- 평균 이외의 데이터에서 자연 분리 성을 활용하는 클러스터링 알고리즘 (근사 또는 휴리스틱)을 사용할 수있는 일부 클러스터링 공식화는 무엇입니까?
2
직선 시뮬레이션
직선 시뮬레이션의 의미에 대한 좋은 참고 자료를 알고있는 사람이 있습니까? 현재 Canetti의 UC (Universal Composability) 프레임 워크에 대해 잘 알고 있지만 직선 시뮬레이션의 의미에 대한 좋은 참조를 찾을 수 없습니다. 도움을 주시면 감사하겠습니다.
3
"타치 턴"오라클을 통한 학습
내 질문은 약간 일반적인 것이므로 그것을 정당화하는 멋진 이야기를 만들고 있습니다. 현실적이지 않다면 나와 함께 참 아라 ;-) 이야기 대기업의 컴퓨터 보안 부서 책임자 인 X 씨는 약간 편집증 적입니다. 그는 신원이나 정보 도용의 위험을 최소화하기 위해 모든 직원이 한 달에 한 번 암호를 변경해야합니다. 또한 그는 직원들이 안전한 암호를 …
2
"확률 방정식"시스템
개의 꼭지점과 모서리가 있는 그래프를 고려하십시오 . 꼭짓점에는 실제 변수 로 레이블이 지정되며 여기서 은 고정됩니다. 각 모서리는 "측정"을 나타냅니다. 모서리 에 대해 측정 값 . 보다 정확히 말하면 는 의 진정한 임의의 양으로 , 다른 모든 측정 값 (에지)과 균등하게 분포되고 독립적입니다.m x i x 1 = 0 ( …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.