이론 컴퓨터 과학

대부분의 복잡한 이론가들은 일반적으로 다음과 같은 철학적 규칙을 믿는 것 같습니다. 우리가 문제에 대한 효율적인 알고리즘을 알아낼 수없는 경우 , 우리는 문제를 줄일 수 있습니다 문제에 , 다음이 아마 문제에 대한 효율적인 알고리즘 아닌 중 하나.A B BㅏAAㅏAA비BB비BB 예를 들어, 새로운 문제가 NP- 완료로 입증 될 때, 우리는 단순히 나타낼 …

14 cc.complexity-theory  big-picture  reductions 

회로 평가 문제가 있는지 알고 있습니까? 방법에 대한 (균일 )? N C 한 경우 → L O g T 나 해요 E N C 1N C1NC1\mathsf{NC^1}N C1NC1\mathsf{NC^1}A L o g T i m eALogTime\mathsf{ALogTime}N C1NC1\mathsf{NC^1} 깊이 회로는 깊이 회로로 평가할 수 있다는 것을 알고 있습니다. 여기서 는 보편적 상수입니다. 이것은 …

14 cc.complexity-theory  reference-request  circuit-complexity 

컴퓨터 과학 학생으로서 저는 게임 이론을 소개 받았지만 주제에 대해서는 자세히 보지 못했습니다. Google에서 검색하여 게임 이론에 대한 책을 보았으며 컴퓨터 과학에서의 사용에 대한 확인을 제공했습니다. 나는 경제학자의 관점에서 게임 이론에 대한 공식적인 연구를 시작했다. 이제 컴퓨터 과학에서 게임 이론의 응용을 알고 싶습니다. 게임 이론의 요소를 활용하는 인공 지능 및 …

14 reference-request  gt.game-theory 

희소 무향 그래프 의 둘레 를 찾는 방법이 궁금합니다 . 드문 드문해서 나는 합니다. 최적이라는 것은 가장 복잡한 시간을 의미합니다.| 이자형| =O( | V| )|E|=O(|V|)|E|=O(|V|) 무 방향 그래프에 대한 Tarjan의 알고리즘 에 대한 일부 수정에 대해 생각 했지만 좋은 결과를 찾지 못했습니다. 실제로 에서 2- 연결된 구성 요소를 찾을 수 …

14 ds.algorithms  graph-theory  open-problem 

JM Siskind의 연구 결과는 다음 과 같습니다. 스탈린은 전체 프로그램 정적 분석을 수행하고 해당 분석 결과를 사용하여 매우 효율적인 코드를 생성하는 Scheme 용 최적화 컴파일러입니다. 스탈린은 대규모의 정적 분석 기법을 활용합니다. 반복 된 단 변량 흐름 분석을 사용하여 흐름 지향 분할을 수행하는 새로운 형태의 다변량 흐름 분석을 수행합니다. 절차의 특수 …

14 compilers 

최근에 압축 관련 알고리즘을 다루고 있으며 무손실 데이터 압축으로 얻을 수있는 최고의 압축 비율 이 궁금 합니다. 지금 까지이 주제에서 찾을 수있는 유일한 출처는 Wikipedia입니다. 비디오, 디지털화 된 필름 및 오디오와 같은 디지털화 된 데이터의 무손실 압축은 모든 정보를 보존하지만 데이터의 본질적인 엔트로피로 인해 1 : 2 압축보다 훨씬 나은 …

14 it.information-theory  data-streams 

나는 이것에 대해 약간의 검색을했지만 두 가지 방법으로 답을 찾을 수 없었습니다. uck은 완전히 대답했다. 감사 :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

는 n 개의 변수와 m 개의 절을 가진 CNF 공식으로 하자 . 하자 t를 ∈ { 0 , 1 } N 가변 할당 및 표현 F φ ( t ) ∈ { 0 , ... , m을 } 에 변수 할당 만족 절 수 카운트 φ를 . 그런 다음 모든 …

14 cc.complexity-theory  sat  counting-complexity 

계산 복잡성에는 많은 양의 조합론과 수 이론, 확률론의 일부 무분별 함, 새로운 대수학이 포함됩니다. 그러나 저는 분석 분야이기 때문에이 분야에 분석을 적용 할 수 있는지 아니면 분석에서 영감을 얻은 아이디어가 있는지 궁금합니다. 이것에 약간 일치하는 것은 유한 그룹의 푸리에 변환입니다. 도와주세요?

14 cc.complexity-theory  reference-request  soft-question  big-picture 

이것이 제가이 문제를 위해 만든 이름입니다. 나는 그것이 이전에 설명 된 것을 보지 못했습니다. 이 문제에 대한 NP- 완전성 또는 다항식 시간 알고리즘에 대한 증거를 아직 찾지 못했습니다. 숙제 문제가 아닙니다. 이것은 제가 일할 때 겪었던 문제와 관련이 있습니다. 최저 징수 비트 INSTANCE : 비트 벡터를 포함하는 세트 T. 각 …

14 cc.complexity-theory  np-hardness 

질문 오카 사키 이후 순수하게 기능적인 데이터 구조의 새로운 점은 무엇입니까? , 및 jbapple의 장대 한 답변은 함수 프로그래밍 (논리 프로그래밍과 달리)에서 차이점 목록을 사용하여 언급 한 것으로 최근에 관심을 보였습니다. 이로 인해 Haskell 의 차이점 목록 구현 을 찾을 수 있었습니다. 두 가지 질문이 있습니다 (StackExchange에서 두 가지 다른 …

14 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

많은 공개 키 암호화 시스템에는 일종의 보안 성이 있습니다. 예를 들어, Rabin 암호화 시스템 은 팩토링만큼 어렵습니다. AES와 같은 비밀 키 암호 시스템에 이러한 종류의 보안이 존재하는지 궁금합니다. 그렇지 않다면, 그러한 암호 시스템을 깨는 것이 어렵다는 증거는 무엇입니까? (시행 및 오류 공격에 대한 저항 이외) 말 : AES 작업 (AddRoundKey, …

14 cr.crypto-security  algebra  algebraic-complexity 

목표 : 차수 12의 투영면 이 없다는 추측을 해결한다 . 1989 년, Cray에서 컴퓨터 검색을 사용하여 Lam은 10 차 투영 평면이 존재하지 않음을 증명 했습니다. 이제 매직 큐브에 대한 하나님의 번호가 결정되었습니다 대규모 브 루트 포스 검색 (플러스 대칭의 영리한 수학)의 몇 주 후,이 오랜 개방 문제가 이동할 수 있습니다 …

14 open-problem 

lambda_i> 0이고 Y_i가 표준 법선으로 분포되는 고려하십시오 . (고정 된) 계수 lambda_i의 함수로 X에서 어떤 종류의 농도 경계를 증명할 수 있습니까?엑스= ∑나는λ나는와이2나는엑스=∑나는λ나는와이나는2X = \sum_i \lambda_i Y_i^2 모든 lambda_i가 동일하면 이것은 Chernoff 경계입니다. 내가 아는 유일한 다른 결과는 Arora와 Kannan의 논문 ( "임의 가우스의 학습 혼합물", STOC'01, Lemma 13)의 양식으로, , …

14 chernoff-bound 

SAT에 기하 급수적 비 확대 증거가 있거나 SAT에 기하 급수 알고리즘이 있다면 더 큰 결과가 발생합니까?

14 cc.complexity-theory  sat  proof-complexity