Wandbox

Ran/Viewed Log

Author
anonymous
over 5 years ago
Language

Ruby
Compiler

ruby 2.6.5
Options

Author
anonymous
over 5 years ago
$ ruby prog.rb
CURRENT PATTERN: 3:さ 5:み 6:や 7:こ
REMAINED: [[1, 2, 1], [5, 6, 7], [7, 8, 5, 9], [11, 12, 1], [13, 13, 5], [8, 4], [14, 11, 15], [1, 4, 7], [13, 13], [8, 2, 13], [5, 14], [5, 9, 11], [3, 6], [12, 8, 15], [7, 10, 1, 4]]
[5, 6, 7] ==> みやこ
[7, 8, 5, 9] ==> こしみず
CHARACTER CONFIRMED: 8 し
CHARACTER CONFIRMED: 9 ず
[3, 6] ==> さや
[Info] confirmed
CURRENT PATTERN: 3:さ 5:み 6:や 7:こ 8:し 9:ず
REMAINED: [[1, 2, 1], [11, 12, 1], [13, 13, 5], [8, 4], [14, 11, 15], [1, 4, 7], [13, 13], [8, 2, 13], [5, 14], [5, 9, 11], [12, 8, 15], [7, 10, 1, 4]]
[Info] branching
Branching conditions for 5=み 9=ず 11=?:
  - 11:き (Confirmed 1)
  - 11:の (Confirmed 1)
CURRENT PATTERN: 3:さ 5:み 6:や 7:こ 8:し 9:ず 11:の
REMAINED: [[1, 2, 1], [11, 12, 1], [13, 13, 5], [8, 4], [14, 11, 15], [1, 4, 7], [13, 13], [8, 2, 13], [5, 14], [5, 9, 11], [12, 8, 15], [7, 10, 1, 4]]
[11, 12, 1] ==> のりこ
CHARACTER CONFIRMED: 12 り
CHARACTER CONFIRMED: 1 こ
[5, 9, 11] ==> みずの
[Info] unsatisfiable: No matching found at [12, 8, 15] ==> りし?
CURRENT PATTERN: 3:さ 5:み 6:や 7:こ 8:し 9:ず 11:き
REMAINED: [[1, 2, 1], [11, 12, 1], [13, 13, 5], [8, 4], [14, 11, 15], [1, 4, 7], [13, 13], [8, 2, 13], [5, 14], [5, 9, 11], [12, 8, 15], [7, 10, 1, 4]]
[5, 9, 11] ==> みずき
[Info] branching
Branching conditions for 12=? 8=し 15=?:
  - 12:き 15:べ (Unsatisfiable: Character duplicate found)
  - 12:よ 15:の (Confirmed 2)
CURRENT PATTERN: 3:さ 5:み 6:や 7:こ 8:し 9:ず 11:き 12:よ 15:の
REMAINED: [[1, 2, 1], [11, 12, 1], [13, 13, 5], [8, 4], [14, 11, 15], [1, 4, 7], [13, 13], [8, 2, 13], [5, 14], [12, 8, 15], [7, 10, 1, 4]]
[12, 8, 15] ==> よしの
[Info] branching
Branching conditions for 11=き 12=よ 1=?:
  - 1:み (Unsatisfiable: Character duplicate found)
  - 1:ら (Confirmed 1)
CURRENT PATTERN: 3:さ 5:み 6:や 7:こ 8:し 9:ず 11:き 12:よ 15:の 1:ら
REMAINED: [[1, 2, 1], [11, 12, 1], [13, 13, 5], [8, 4], [14, 11, 15], [1, 4, 7], [13, 13], [8, 2, 13], [5, 14], [7, 10, 1, 4]]
[1, 2, 1] ==> らいら
CHARACTER CONFIRMED: 2 い
[11, 12, 1] ==> きよら
[1, 4, 7] ==> らんこ
CHARACTER CONFIRMED: 4 ん
[8, 2, 13] ==> しいな
CHARACTER CONFIRMED: 13 な
[7, 10, 1, 4] ==> こくらん
CHARACTER CONFIRMED: 10 く
[Info] confirmed
CURRENT PATTERN: 3:さ 5:み 6:や 7:こ 8:し 9:ず 11:き 12:よ 15:の 1:ら 2:い 4:ん 13:な 10:く
REMAINED: [[13, 13, 5], [8, 4], [14, 11, 15], [13, 13], [5, 14]]
[13, 13, 5] ==> ななみ
[8, 4] ==> しん
[13, 13] ==> なな
[Info] branching
Branching conditions for 14=? 11=き 15=の:
  - 14:ゆ (Confirmed 1)
  - 14:ま (Confirmed 1)
CURRENT PATTERN: 3:さ 5:み 6:や 7:こ 8:し 9:ず 11:き 12:よ 15:の 1:ら 2:い 4:ん 13:な 10:く 14:ま
REMAINED: [[14, 11, 15], [5, 14]]
[14, 11, 15] ==> まきの
[Info] unsatisfiable: No matching found at [5, 14] ==> みま
CURRENT PATTERN: 3:さ 5:み 6:や 7:こ 8:し 9:ず 11:き 12:よ 15:の 1:ら 2:い 4:ん 13:な 10:く 14:ゆ
REMAINED: [[14, 11, 15], [5, 14]]
[14, 11, 15] ==> ゆきの
[5, 14] ==> みゆ
[Info] Solved!
 3:さ 5:み 6:や 7:こ 8:し 9:ず 11:き 12:よ 15:の 1:ら 2:い 4:ん 13:な 10:く 14:ゆ
- [1, 2, 1] ==> らいら
- [5, 6, 7] ==> みやこ
- [7, 8, 5, 9] ==> こしみず
- [11, 12, 1] ==> きよら
- [13, 13, 5] ==> ななみ
- [8, 4] ==> しん
- [14, 11, 15] ==> ゆきの
- [1, 4, 7] ==> らんこ
- [13, 13] ==> なな
- [8, 2, 13] ==> しいな
- [5, 14] ==> みゆ
- [5, 9, 11] ==> みずき
- [3, 6] ==> さや
- [12, 8, 15] ==> よしの
- [7, 10, 1, 4] ==> こくらん
Exit Code:
0