論文の概要: A new perspective of paramodulation complexity by solving massive 8
puzzles
- arxiv url: http://arxiv.org/abs/2012.08231v1
- Date: Tue, 15 Dec 2020 11:47:47 GMT
- ステータス: 処理完了
- システム内更新日: 2021-05-07 05:15:09.460376
- Title: A new perspective of paramodulation complexity by solving massive 8
puzzles
- Title(参考訳): 大規模8パズルの解法による変調複雑性の新しい視点
- Authors: Ruo Ando, Yoshiyasu Takefuji
- Abstract要約: スライディングパズルは、プレイヤーがボード上の特定のルートに沿ってスライドして特定のエンド構成に達するコンビネーションパズルです。
パラモジュレーションで得られる節数をカウントすることで、各パズルの難易度を評価できることが分かりました。
- 参考スコア(独自算出の注目度): 0.4514386953429769
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A sliding puzzle is a combination puzzle where a player slide pieces along
certain routes on a board to reach a certain end-configuration. In this paper,
we propose a novel measurement of complexity of massive sliding puzzles with
paramodulation which is an inference method of automated reasoning. It turned
out that by counting the number of clauses yielded with paramodulation, we can
evaluate the difficulty of each puzzle. In experiment, we have generated 100 *
8 puzzles which passed the solvability checking by countering inversions. By
doing this, we can distinguish the complexity of 8 puzzles with the number of
generated with paramodulation. For example, board [2,3,6,1,7,8,5,4, hole] is
the easiest with score 3008 and board [6,5,8,7,4,3,2,1, hole] is the most
difficult with score 48653. Besides, we have succeeded to obverse several
layers of complexity (the number of clauses generated) in 100 puzzles. We can
conclude that proposal method can provide a new perspective of paramodulation
complexity concerning sliding block puzzles.
- Abstract(参考訳): スライディングパズル(Slide puzzle)とは、プレイヤーがボード上の特定のルートに沿って部品をスライドさせて特定のエンド設定に達するような組み合わせパズルである。
本稿では,自動推論手法であるパラモディフィケーションを用いた大規模スライディングパズルの複雑性の新たな測定法を提案する。
その結果、パラモジュレーションによって得られる節の数を数えることで、各パズルの難易度を評価できることがわかった。
実験では,100×8のパズルを生成し,逆解析による可解性チェックに合格した。
これにより、パラモーテーションによって生成される8つのパズルの複雑さを区別することができる。
例えば、ボード[2,3,6,1,7,8,5,4,ホール]はスコア3008が最も簡単で、ボード[6,5,8,7,4,3,2,1,ホール]はスコア48653で最も難しい。
さらに,100のパズルにおいて,数階層の複雑さ(生成節数)を克服することに成功している。
提案手法は,スライディングブロックパズルに関するパラモーダル複雑性の新しい視点を提供することができる。
関連論文リスト
- On Memorization of Large Language Models in Logical Reasoning [70.94164038947078]
大きな言語モデル(LLM)は、挑戦的な推論ベンチマークで優れたパフォーマンスを達成するが、基本的な推論ミスを発生させることもできる。
1つの仮説は、より高度でほぼ飽和した性能は、類似した問題の記憶が原因ではないかというものである。
微調整は暗記を重くするが,常に一般化性能を向上することを示す。
論文 参考訳(メタデータ) (2024-10-30T15:31:54Z) - Are Language Models Puzzle Prodigies? Algorithmic Puzzles Unveil Serious
Challenges in Multimodal Reasoning [24.386388107656334]
本稿では,視覚的質問応答の文脈内での多モーダルパズル解決の新たな課題を紹介する。
本稿では,アルゴリズムパズルの解法におけるマルチモーダル言語モデルの能力に挑戦し,評価するための新しいデータセットAlgoVQAを提案する。
論文 参考訳(メタデータ) (2024-03-06T17:15:04Z) - Solving Witness-type Triangle Puzzles Faster with an Automatically
Learned Human-Explainable Predicate [0.29005223064604074]
We developed a search-based intelligence puzzle solver for The Witness game。
我々は、ウィットネス型パズルへの部分経路が解経路に合成可能でないかどうかを予測する人間の説明可能な述語を学ぶ。
我々は、学習した述語の重要な性質を証明し、それを検索において後継状態の刈り取りに利用できるようにした。
論文 参考訳(メタデータ) (2023-08-04T18:52:18Z) - Multi-Phase Relaxation Labeling for Square Jigsaw Puzzle Solving [73.58829980121767]
本稿では,大域最適化に基づく二乗ジグソーパズルの解法を提案する。
この手法は完全に自動化されており、事前情報を前提とせず、未知または未知のピースオリエンテーションでパズルを扱うことができる。
論文 参考訳(メタデータ) (2023-03-26T18:53:51Z) - Automated Graph Genetic Algorithm based Puzzle Validation for Faster
Game Desig [69.02688684221265]
本稿では,コンピュータゲームにおける論理パズルを効率的に解くための進化的アルゴリズムを提案する。
制約満足度問題に対するハイブリッド遺伝的アプローチの様々なバリエーションについて論じる。
論文 参考訳(メタデータ) (2023-02-17T18:15:33Z) - Complexity-Based Prompting for Multi-Step Reasoning [72.0057198610614]
大規模言語モデルに対して,多段階推論を行うための課題について検討する。
中心的な疑問は、どの推論例が最も効果的なプロンプトを作るかである。
多段階推論のためのシンプルで効果的な例選択方式である複雑性ベースのプロンプトを提案する。
論文 参考訳(メタデータ) (2022-10-03T05:33:27Z) - Using Small MUSes to Explain How to Solve Pen and Paper Puzzles [4.535832029902474]
本稿では,パズルを高レベル制約プログラミング言語で表現できるツールであるdemystifyを提案する。
MUSでパズルを解くための既存の技術にいくつかの改善を加えます。
手作業でペンと紙のパズルを解くための文書化戦略と比較することにより,Demystifyの有効性と汎用性を実証する。
論文 参考訳(メタデータ) (2021-04-30T15:07:51Z) - Non-Rigid Puzzles [50.213265511586535]
非剛性多部形状マッチングアルゴリズムを提案する。
非剛性変形中の参照形状とその複数の部品が与えられると仮定する。
合成法と実走査法の実験結果から,本手法の有効性が示された。
論文 参考訳(メタデータ) (2020-11-26T00:32:30Z) - Pictorial and apictorial polygonal jigsaw puzzles: The lazy caterer
model, properties, and solvers [14.08706290287121]
任意の直線切断数で大域多角形/像を切断して生成した一般凸多角形であるジグソーパズルを定式化する。
このようなパズルの理論的性質を解析し、ピースが幾何的ノイズで汚染されたときの解法に固有の課題を含む。
論文 参考訳(メタデータ) (2020-08-17T22:07:40Z) - PuzzLing Machines: A Challenge on Learning From Small Data [64.513459448362]
我々は,高校生を対象としたLinguistic OlympiadsのRosetta StoneパズルからなるPuzzLing Machinesという,小さなデータから学ぶための課題を紹介した。
私たちのチャレンジには、81言語から幅広い言語現象をカバーする約100のパズルが含まれています。
単純な統計アルゴリズムと最先端のディープニューラルモデルの両方が、予想通り、この課題に対して不十分に実行可能であることを示す。
論文 参考訳(メタデータ) (2020-04-27T20:34:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。