Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK004.415.53:004.832.23
Issue:2 (72)
Download PDF0 Kbyte
TESTS GENERATION FOR OLYMPIAD PROGRAMMING TASKS USING GENETIC ALGORITHMS
Annotation
An automated method for tests generation against inefficient solutions for Olympiad programming tasks is given. This method is based on genetic algorithms. Method application in generation of new tests for an Olympiad task from the Internet problem archive acm.timus.ru is described. None of submitted solutions succeeded in passing the resulting test set.
Keywords
Постоянный URL
Articles in current issue
- SMALL-SIZED HELICOPTER CONTROL SYSTEM DEVELOPMENT
- DOUBLE-STEP GENETIC PROGRAMMING APPLICATION FOR TANK MODEL CREATION IN “ROBOCODE” GAME
- MACHINE LEARNING APPLICATION FOR CONTROL AUTOMATA CREATION BY “ROBOCODE” GAME EXAMPLE
- AUTOMATIC SYNTHESIS OF MOBILE ROBOT CONTROL SYSTEM FOR SOLVING THE "KEGELRING" PROBLEM
- GPU EFFECTIVENESS ANALYSIS FOR AUTOMATIC SYNTHESIS OF ROBOT CONTROL SYSTEM
- HARDWARE AND SOFTWARE COMPLEX FOR FINITE STATE MOBILE ROBOT CONTROL STUDY
- FEATURE DETECTORS IN THE VIOLA-JONES METHOD ON THE BASIS OF FINITE AUTOMATA
- STRATEGY OPTIMIZATION METHODS FOR TWO-PLAYER GAMES WITH GENETIC ALGORITHMS
- DEVELOPMENT OF FINITE AUTOMATA CREATION METHODS WITH ANNEALING SIMULATION ALGORITHM BY THE «WAR FOR RESOURCES» EXAMPLE
- REPRESENTATION OF FINITE STATE AUTOMATA BY LINEAR BINARY GRAPHS IN GENETIC PROGRAMMING
- AUTOMATIC SELECTION OF ENVIRONMENT PARAMETERS DURING AUTOMATA PROGRAMS GENERATION BY GENETIC ALGORITHMS
- GENETIC APPROACH FOR CELLULAR AUTOMATA GENERATION
- GENETIC ALGORITHMS APPLICATION TO TEST GENERATION FOR AUTOMATA PROGRAMS
- JOINT APPLICATION OF CONTRACTS AND VERIFICATION FOR AUTOMATA-BASED PROGRAMS QUALITY ENHANCEMENT
- VIRTUAL LABORATORY FOR ARTIFICIAL INTELLIGENCE TRAINING METHODS FOR CONTROLLING FINITE STATE AUTOMATA GENERATION
AND ARTIFICIAL INTELLIGENCE TECHNOLOGIES GENERATION OF FINITE STATE MACHINES FOR UNMANNED AIRPLANE CONTROLLING
- DISCOLORATION OF NATURAL SAPPHIRES
- REPRESENTATION OF EXPERIMENTAL DATA ON ATMOSPHERE OPTICAL PARAMETERS BY ANALYTIC RELATIONS
- CONSISTENT SYSTEM OF UNIQUE KEY QUANTUM DISTRIBUTION ON CHOPPED LIGHT SIDEBAND
- PHASE SELF-MODULATION OF SINGLE-CYCLE OPTICAL WAVES
- LIGHT DIFFUSION IN A MEDIUM WITH NANOSCALE HETEROGENEITIES
- SOLUTION MODEL OF INVERSE PROBLEM OF IONOSPHERE VERTICAL SOUNDING
- PROGRAMMED SERVO DRIVE TRAJECTORY SHAPER
- COST CONTROL ESTIMATION FOR HARMONIC EXOGENOUS ACTIONS: GRAMIAN APPROACH
- BASIC PRINCIPLES FOR SOLVING THE PROBLEM OF TRANSFORMING AN OBJECT-ORIENTED SOURCE CODE TO RDF FORMAT USING SEMANTIC ANALYSIS
- CREATION METHODS ANALYSIS OF MOVING OBJECTS TRAJECTORY ON THE BASIS OF VIDEO DATA SEGMENTATION
- PROBLEMS OF SEMANTIC DICTIONARY REPLENISHMENT
- ORGANIZATION OF NODES NETWORK INTERACTION IN DISTRIBUTED REPOSITORIES
- COMPRESSION METHOD FOR DYNAMIC RANGE OF DIGITAL FOURIER HOLOGRAM WHILE EMBEDDING HIDDEN WATERMARKS
- QUANTITATIVE ASSESSMENT OF INFORMATION IN KNOWLEDGE BASES
- ON THE VULNERABILITY OF VIRTUAL MACHINE MONITORS
- CLOSE-FIELD HIGH FREQUENCY PROBING METHOD IN BIOLOGICAL DIAGNOSTICS
- NON-INVASIVE MEASURING METHODS OF BILIRUBIN, HAEMOGLOBIN AND GLUCOSE. HAEMOBILIGLUCOMETER DEVICE
- SIMULATION MODELING APPLICATION FOR THE QUALITY ASSESSMENT OF INNOVATIVE PROJECTS BUSINESS PLANS
- THE ROLE OF INDUSTRIAL PARKS IN DEVELOPMENT OF RUSSIA AS INNOVATIVE SOCIETY
- NEW LYAPUNOV-KRASOVSKIY FUNCTIONAL FOR EXPONENTIAL STABILITY PROOF OF NONLINEAR SYSTEM WITH DELAY
- APPLICATION OF ONTOLOGY IN THE INTELLIGENT RESOURCE MANAGEMENT SYSTEM
- ARRANGEMENT OF INTER-COMPUTER EXCHANGE LINKS WITH RESERVATION
- INNOVATIONS AND THEIR ROLE IN THE ENTERPRISE COMPETITIVENESS MANAGEMENT IN THE SERVICE-ORIENTED ECONOMICS