Filters








217,935 Hits in 1.5 sec

Programming Puzzles [article]

Tal Schuster, Ashwin Kalyan, Oleksandr Polozov, Adam Tauman Kalai
2021 arXiv   pre-print
We introduce a new type of programming challenge called programming puzzles, as an objective and comprehensive evaluation of program synthesis, and release an open-source dataset of Python Programming  ...  Each puzzle is defined by a short Python program f, and the goal is to find an input which makes f return True.  ...  We would like to thank Mariia Mykhailova for suggesting doing a Python Programming Puzzles Hackathon. We are especially grateful to the participants in our user study and hackathon.  ... 
arXiv:2106.05784v3 fatcat:pbpukqbjijf4pd5a7eo4zircfu

Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers

N.V. Shilov, K. Yi
2001 Electronical Notes in Theoretical Computer Science  
Basic ideas are illustrated by a model checking based solution for a complicated puzzle how to identify a unique false coin among given ones balancing them limited times.  ...  Both authors were trainers of teams of undergraduates for ACM Regional programming contests. So a question how to put the puzzle for programming arose naturally.  ...  Since the problem is to write a program which produce another program then we would like to refer the first program as the metaprogram and the problem as the metaprogram problem respectively.  ... 
doi:10.1016/s1571-0661(04)80893-4 fatcat:sa3fokw2ivd5dizpvmnueceuoa

Solving Jigsaw Puzzles with Linear Programming [article]

Rui Yu, Chris Russell, Lourdes Agapito
2015 arXiv   pre-print
We propose a novel Linear Program (LP) based formula- tion for solving jigsaw puzzles.  ...  We formulate jigsaw solving as a set of successive global convex relaxations of the stan- dard NP-hard formulation, that can describe both jigsaws with pieces of unknown position and puzzles of unknown  ...  Conclusion We have proposed a novel formulation for solving jigsaw puzzles as a convergent sequence of linear programs.  ... 
arXiv:1511.04472v1 fatcat:hsmtybjwsbgurdnkqzocvxar4u

Enabling independent learning of programming concepts through programming completion puzzles

Kyle J. Harms, Noah Rowlett, Caitlin Kelleher
2015 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)  
Many novice programming environments use puzzle-like approaches to help novice programmers acquire new programming skills independently.  ...  Yet, little is known about 1) how puzzles can support effective learning of programming skills and 2) how learning programming using a puzzle-based approach compares to more a traditional tutorial style  ...  I PROGRAMMING PUZZLE CURRICULUM ID Programming Concept Difficulty No.  ... 
doi:10.1109/vlhcc.2015.7357226 dblp:conf/vl/HarmsRK15 fatcat:am6c5kprcrh4jaffalrv72wsji

Constraint Programming Lessons Learned from Crossword Puzzles [chapter]

Adam Beacham, Xinguang Chen, Jonathan Sillito, Peter van Beek
2001 Lecture Notes in Computer Science  
In this paper we use crossword puzzle generation as a case study to examine this question. We draw the following general lessons from our study.  ...  Constraint programming is a methodology for solving difficult combinatorial problems.  ...  of a constraint programming approach.  ... 
doi:10.1007/3-540-45153-6_8 fatcat:qw3zkzy2qbh2vftxyov3nuexy4

Yeast Programmed Cell Death: An Intricate Puzzle

Ludovico P, Madeo F, Silva MT
2005 IUBMB Life - A Journal of the International Union of Biochemistry and Molecular Biology  
However, the finding of an endogenous programmed cell death (PCD) process in yeast with an apoptotic phenotype has turned yeast into an 'unclean' but even more powerful model for apoptosis research.  ...  In many instances of programmed necrosis, pieces of the apoptotic death machinery are shared by the necrotic death program.  ...  Even though mechanisms of programmed necrosis are conserved from worms and flies to humans (42) , programmed necrosis has not been specifically studied in yeasts.  ... 
doi:10.1080/15216540500090553 pmid:16036575 fatcat:zn5l72ndy5aw7ck5vhkta4x33q

A Program for Solving Word Sum Puzzles

R. M. Burstall
1969 Computer journal  
This paper describes a program for solving a class of 'word sum' or 'cryptarithm' puzzles by a heuristic tree searching method.  ...  Strachey for many illuminating discussions about the theory of programming, and to Professor J. A. Robinson for helping me to clarify the ideas presented here.  ...  The program also solved several other word sum problems successfully.  ... 
doi:10.1093/comjnl/12.1.48 fatcat:l7jvobbigffshchlnymtrb25ly

Puzzle—Solving theBattleshipPuzzle as an Integer Programming Problem

W. J. M. Meuffels, D. den Hertog
2010 INFORMS Transactions on Education  
O ne's aim in solving logical puzzles is to find the solution by making use of several clues and restrictions. In this paper, we solve a logical puzzle, the Battleship puzzle, by integer programming.  ...  Moreover, two integer programming models (i.e., a cell-based model and a ship-based model) for the Battleship puzzle are compared based on their complexity and solution times.  ...  In this paper, integer programming is used to solve the Battleship puzzle.  ... 
doi:10.1287/ited.1100.0047 fatcat:4xywaraq7jgm7fdsz6vwhbz5ny

Solving KenKen puzzles — by not playing

John R. Gerlach
2010 Pharmaceutical Programming  
Unlike Sudoku puzzles that can use any symbol and have sub-matrices, Kenken puzzles require actual integers and have contiguous cells, called cages.  ...  Depending on the size of the NxN grid, the number (and size) of the cages, as well as the arithmetic operations used, a Kenken puzzle offers a formidable challenge for logic puzzle fans.  ...  INTRODUCTION Ken-Ken puzzles are the latest craze of logic puzzles that might even exceed Sudoku puzzles.  ... 
doi:10.1179/175709310x12847352884285 fatcat:wzl3gcw6yfdnzmu7uy2yugk2h4

Solving Scheduling Problems As The Puzzle Games Using Constraint Programming

Noppon Choosri
2018 Zenodo  
Constraint programming (CP) is one of the most effective techniques for solving practical operational problems.  ...  CP is then applied to solve the defined puzzle and the results show the success of the proposed method.  ...  INTRODUCTION Constraint Programming (CP) is a programming paradigm used for modelling and solving problems with a discrete set of solutions [1] .  ... 
doi:10.5281/zenodo.1219529 fatcat:fiyhn7cptbc35bqk457fb6jmaa

Programming quantum computers using 3-D puzzles, coffee cups, and doughnuts [article]

Simon J. Devitt
2016 arXiv   pre-print
The task of programming a quantum computer is just as strange as quantum mechanics itself. But it now looks like a simple 3D puzzle may be the future tool of quantum software engineers.  ...  A qualtum program is therefore, literally, defined and described by a puzzle and this puzzle can be shaped, stretched and molded to change the physical resources needed by a quantum program without changing  ...  the program itself [59] .  ... 
arXiv:1609.06628v1 fatcat:jkcxonwopbcrncwgfdhllhsmfm

Solving the snake cube puzzle in Haskell

MARK P. JONES
2013 Journal of functional programming  
We describe a concise and elegant functional program, written in Haskell, that computes solutions for a classic puzzle known as the "snake cube".  ...  Well-suited for an introductory course on functional programming, this example highlights the use of visualization tools to explain and demonstrate the choices of data structures and algorithms that are  ...  Acknowledgments The author wishes to thank the Campbell family for introducing him to the snake cube puzzle.  ... 
doi:10.1017/s0956796813000014 fatcat:xncsrjh76bbhfm6khtpxrgtdqq

SOLVING DIAGONAL SUDOKU PUZZLE 9X9 GRID BY JAVA PROGRAMMING ALGORITHM

Nur Intan Syafinaz Ahmad, Nurhuda Ismail, Ahmad Khudzairi Khalid, Muhammad Syawal Abd Halim
2019 Journal of Information System and Technology Management  
This Java Programming is designed to solve the diagonal Sudoku puzzle for a 9x9 grid.  ...  In order to solve the puzzle, we have to construct an algorithm and translate it using Java Programming Language.  ...  Even any level of puzzle has been inserted; the program still can show the solution of the given puzzle.  ... 
doi:10.35631/jistm.413007 fatcat:2rk2hzjstfdtpou3ohkzn7sqje

RompecPC: A computerized program to create and solve jigsaw puzzles

Miguel Angel Guevara, Marai Pérez Hernández, Marisela Hernández González, Araceli Sanz-Martin, Sonia Ramírez Zapata
2013 Journal of Biomedical Science and Engineering  
RompecPC is a computerized program designed to create and assemble jigsaw puzzles.  ...  These features facilitate the implementation and evaluation of puzzles while also reducing human error.  ...  Each participant executed the program individually using a time limit of 15 minutes (900 seconds) to assemble the puzzle.  ... 
doi:10.4236/jbise.2013.67088 fatcat:rqq3nikyaze4nhuatganhsibu4

Word puzzles in Haskell

S. A. Curtis
2005 Proceedings of the 2005 workshop on Functional and declaritive programming in education - FDPE '05  
This paper describes some functional programming exercises in the form of implementing some interactive word puzzle games.  ...  Other teachers of functional programming may find these word puzzle games useful, either as is, or as inspiration.  ...  This paper describes a interactive loop useful for word puzzle games, along with two word puzzles; these were used for exercises for an introductory undergraduate functional programming course.  ... 
doi:10.1145/1085114.1085119 dblp:conf/icfp/Curtis05 fatcat:nceezwqpkvc7vksknhjitkj44a
« Previous Showing results 1 — 15 out of 217,935 results