컴퓨터 과학

언어에 컨텍스트가 없는지 테스트하는 알고리즘 / 체계적인 절차가 있습니까? 다시 말해, 대수 형태로 지정된 언어 ( 와 같은 것으로 생각)가 주어지면 언어에 컨텍스트가 없는지 테스트하십시오. 학생들이 모든 숙제를 도와 줄 수 있도록 웹 서비스를 작성한다고 상상해보십시오. 언어를 지정하면 웹 서비스는 "문맥없는"또는 "문맥없는"를 출력합니다. 이것을 자동화하는 좋은 접근 방법이 있습니까?L={anbnan:n∈N}L={anbnan:n∈N}L=\{a^n b^n …

18 algorithms  formal-languages  context-free  decision-problem 

타일링의 약간의 변형 인 '지그 소 퍼즐'에 관심이 있습니다. (사각형) 타일의 각 가장자리에는 의 기호가 표시되어 있으며 두 개의 타일을 인접하게 배치 할 수 있습니다 한 타일의 마주 보는 가장자리에 있는 기호 가 k 이고 다른 타일의 마주 보는 가장자리에있는 기호 가 ˉ k 인 경우 서로 k ∈ { …

18 complexity-theory  np-complete  tiling 

바이어스 된 다이가 주어지면 범위의 난수가 어떻게 균일하게 생성 될 수 있습니까? 다이 페이스의 확률 분포는 알려져 있지 않으며, 알려진 모든 것은 각각의 페이스가 0이 아닌 확률을 가지며 확률 분포는 모든 드로우에서 동일하다는 것입니다 (특히, 스로우는 독립적 임). 이것은 불공정 한 주사위 로 공정 결과를 명백히 일반화 한 것 입니다.엔NN[ …

18 probability-theory  randomized-algorithms  random-number-generator 

어려운 문제가 발생하면 하나의 표준 접근 방식은 SAT 인스턴스로 표현하고 SAT 솔버를 실행하는 것입니다. 또 다른 표준 접근법은이를 제약 조건 만족 문제로 표현하고 CSP 솔버를 사용해보십시오. 이 두 가지는 어떤 종류의 문제가 자연스럽게 입력 형식으로 표현 될 수 있는지에 대해 모호하게 유사하다고 생각합니다. 주어진 문제에 대해 어떤 방법으로 좋은 결과를 …

18 heuristics  sat-solvers  constraint-programming 

나는 어떤 방식 으로든 예외가있는 십여 개의 프로그래밍 언어에 익숙하지만, 두 가지 "병리학 적"경향을 목격하게되었습니다. 일반적인 패턴이나 예외 계층 구조는없는 것 같습니다. 모든 언어는 기본적으로 자체 버전을 롤링하고 예외가 표준으로 만들어지면 표준에서 찾은 예외 종류는 다소 임의적입니다 (대개 소스 코드를 읽는 것과 같은 언어 도구를 만드는 동안 구현 된 예외) …

18 terminology  programming-languages  api-design 

고유 한 요소로 구성된 배열이 있습니다. 당신은 비교기 (두 요소 와 취하고 true iff 반환 하는 블랙 박스 함수 )와 진정한 임의의 비트 소스 (인수를 취하지 않고 독립적으로 균일하게 임의의 비트를 반환하는 블랙 박스 함수)에 액세스 할 수 있습니다. 다음 두 가지 작업을 고려하십시오.엔엔nㅏㅏa비비ba &lt; bㅏ&lt;비a < b 배열이 현재 …

18 algorithms  algorithm-analysis  information-theory  permutations  entropy 

일반 언어 감안 , 다음이 상수임을 입증하기 쉽다 등하다 와 존재 문자열 , 및 그러한 과 및 모든 그것이N σ ∈ L | σ | ≥ N α β γ | α β | ≤ N | β | ≠ ϵ k α β k γ ∈ LLLLNNNσ∈Lσ∈L\sigma \in L|σ|≥N|σ|≥N\lvert …

18 formal-languages  proof-techniques 

나는이 포럼을 처음 접했고, 그의 두뇌를 유지하기 위해 이것을하는 물리학 자일뿐입니다. 가장 우아한 언어를 사용하지 않으면 은혜를 보여주세요. 다른 태그가 더 적합하다고 생각되면 의견을 남겨주세요. 내가 해결하기 위해 노력하고 이 문제 내가 해밀턴 사이클의 수를 계산해야하는 C(n)C(n)C(n) 에서 번째 순서 시어 핀 스키 그래프 . (Sierpinski 그래프의 정의와 그림은 위의 …

18 graph-theory  combinatorics  check-my-proof 

n × n엔×엔n \times n 행렬 주어 ㅏㅏ\mathbf{A}집니다. 의 역행렬하자 ㅏㅏ\mathbf{A} 될 - 1 (이다 - 1 = I ). 에서 그 하나 개의 요소 가정 A는 (의 말을하자 변경 내가 J 에 ' 나는 J를 ). 이 변경 후 목표는 A - 1 을 찾는 것입니다 . 역행렬을 처음부터 …

18 algorithms  numerical-analysis  online-algorithms 

Motwani와 Raghavan은 자신의 책 Randomized Algorithms 에서 RandQS 기능인 Randomized quicksort에 대한 설명으로 소개를 시작합니다. 나는 이것에 대해 얼마 동안 (약간 힘이 부족한) 두뇌를 쌓아 왔지만 매번 중간 요소 (크기가 아닌 색인)를 선택하는 것 보다이 알고리즘이 어떤 이점을 가지고 있는지 알 수 없었습니다. 내가 볼 수없는 것은 이것이 있다고 가정합니다. …

18 algorithm-analysis  sorting  randomized-algorithms 

Wikipedia 는 그것을 정의합니다 알고리즘 의 실행 시간이 알고리즘 입력의 크기에서 다항식에 의해 상한 인 경우, 즉 일부 상수 k에 대해 경우 알고리즘은 다항식 시간 이라고합니다 .티( n ) = O ( n케이)티(엔)=영형(엔케이)T(n) = O(n^k) 의 알고리즘 실행 강하게 다항식 시간 의 경우 [8] 연산 계산 모델의 연산 수는 입력 …

18 complexity-theory 

어느 곳에서나 교과서는 경계 포스트 대응 문제 가 NP- 완전 이라고 가정합니다 ( 반복에 엔NN 인덱스 만 허용). 그러나 다른 NP- 완전 문제에서 간단한 (다소의 학자가 이해할 수있는) 다항식 시간 단축을 보여주는 곳은 어디에도 없습니다. 그러나 내가 생각할 수있는 모든 축소 는 런타임에 지수 ( 엔NN 또는 시리즈 크기)입니다. 아마도 …

18 complexity-theory  np-complete  reductions 

점점 더 많은 언어 연구 논문을 읽기 시작했습니다. 프로그래밍에 대해 더 많이 배울 수있는 매우 흥미롭고 좋은 방법입니다. 그러나, 일반적으로 난 항상 (예를 부분의 세 가지에 걸릴 투쟁 섹션이 제공 이 유형 규칙 : 나는 컴퓨터 과학의 이론적 배경이 부족하기 때문에이). 이 분야에서 시작할 수있는 좋은 책이나 온라인 자료가 있습니까? …

18 logic  reference-request  terminology  type-theory 

나는 최근에 Expectation Maximization을 스스로 연구했고 그 과정에서 몇 가지 간단한 예를 들었습니다. 에서 여기에 세 동전이 있습니다 c0씨0c_0 , c1씨1c_1 과 c2씨2c_2 와 p0피0p_0 , p1피1p_1 과 p2피2p_2 던져 머리에 착륙 각각의 확률. 던 c0씨0c_0졌습니다. 결과가 Head이면 c1씨1c_1 3 번 던지거나 그렇지 않으면 c2씨2c_2 3 번 던지십시오 . c1씨1c_1 …

18 probability-theory  statistics 

이전 질문에서 다음과 같이 , 나는 레크리에이션 수학의 문제로 리만 가설 을 가지고 놀았습니다 . 그 과정에서 나는 다소 흥미로운 재발에 이르렀고, 그 이름, 축소 및 소수 사이의 갭의 해결 가능성에 대한 다루기 쉬움에 대해 궁금합니다. 간결하게 말해서, 각 소수 사이 의 간격 을 이전 후보 소수 의 반복으로 정의 …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis