그건 그렇게 쉬운 문제가 아닙니다.
제가 여러번 프로그램을 짜면서 1부터 5행까지의 겹치지 않는 난수 발생은 가능했습니다만, 5행까지의 난수 발생이 완성 됐다면 그 때부터 답은 하나가 되는데 6행에서의 잘못된 값이 들어오게 되면 7행에서의 무한루프... 그 무한 루프를 체크할 방법도 생각해봤습니다만 쉽지만 않네요.

답글

잘 만드는 게

글쓴이: lacovnk / 작성시간: 수, 2006/05/24 - 9:59오후

잘 만드는 게 생각보다 쉽지 않을 것 같습니다... 푸는 건 쉽습니다. (빠르게 만들기 위해서 knuth 아저씨의 춤추는 알고리즘이던가도 등장하지만..)

다음과 같은게 궁금하기도 합니다.

주어진 문제에 해답이 하나만 있는 것을 증명할 수 있는가?
주어진 문제에 해답이 존재한다는 것을 증명할 수 있는가?

만일 해의 존재여부를 알 수 없다면 문제를 만들고도 이 것이 풀릴 수 있는 문제인지 알 수가 없겠죠? 그렇다면 문제를 random 생성하고, 유한 시간동안 풀기 시도를 해서 풀리면 이걸 "만든 문제다"라고 하기에는... 문제 만드는 알고리즘이라고 할 수 없겠죠?

"항상 풀릴 수 있는 문제를 생성하는 알고리즘"이 존재하지만, "주어진 문제에 해답의 존재 여부를 답하는 알고리즘"이 존재하지 않는 상황이 존재할 수 있을까요?

슬슬 헷갈립니다 -o-;

예전에 찾아보면서 언뜻 관련 내용을 본 것 같긴 한데..

답글

해가 없는 경우도

글쓴이: Bini / 작성시간: 목, 2006/05/25 - 10:18오전

해가 없는 경우도 있나요? 몰라서요 ^^; 저는 해가 항상 존재한다고 가정하고 말씀드렸는데......

해가 항상 존재한다고 가정했을때 단순히 문제만을 만드는 경우라면 될것 같구요.

문제를 만들고 해답을 검증하고 해답을 제시하는 프로그램이라면.....
해가 여러개 일때라도 정답의 판정에는 문제가 없지만, 정답을 요구하는 경우라면......
난이도를 조절하는것도 그렇고.....

답글

댓글 달기

이름

제목

댓글 *

텍스트 포맷에 대한 자세한 정보

텍스트 양식

Filtered HTML

텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
You can use Textile markup to format text.
사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
Quick Tips:
- Two or more spaces at a line's end = Line break
- Double returns = Paragraph
- *Single asterisks* or _single underscores_ = Emphasis
- **Double** or __double__ = Strong
- This is [a link](http://the.link.example.com "The optional title text")
For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

HTML 태그를 사용할 수 없습니다.
web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
줄과 단락은 자동으로 분리됩니다.

CAPTCHA

이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.

부 메뉴