constraint-programming Questions
2
Solved
Background and Problem Description:
I have some code that solves the graph coloring problem (broadly defined as the problem of assigning "colors" to an undirected graph, making sure that no two ve...
Bounds asked 3/4, 2014 at 19:7
1
I had asked this question earlier, and wanted to continue with a follow-up since I tried some other things and they didn't quite work out.
I am essentially trying to optimize an NLP type problem i...
Synecology asked 30/9, 2016 at 15:12
15
Solved
Edit: this puzzle is also known as "Einstein's Riddle"
The Who owns the Zebra (you can try the online version here) is an example of a classic set of puzzles and I bet that most people on Stack Ov...
Prehension asked 25/11, 2008 at 21:14
3
Solved
The problem I am trying to solve is a bit like the employee scheduling one here:
https://github.com/google/or-tools/blob/master/examples/python/shift_scheduling_sat.py
However, there are a few th...
Craftwork asked 16/7, 2019 at 16:47
3
Solved
what is the difference between Constraint Programming (CP) and Linear Programming (LP) or Mixed Integer Programming (MIP) ? I know what LP and MIP is but dont understand the difference to CP - or i...
Joesphjoete asked 6/8, 2017 at 10:43
5
Solved
I need to find all triples of 16-bit numbers (x, y, z) (well, actually only bits which perfectly match up in different triples with bits on same positions), such that
y | x = 0x49ab
(y >> 2) ...
Cranial asked 6/2, 2021 at 16:39
1
Solved
I have a problem where I have a set of warehouses with a given production capacity that send some product to a list of customers at a given cost. I'm trying to minimize the total cost of sending th...
Garnes asked 31/12, 2020 at 0:18
2
I was wondering if anyone familiar with Google Optimization tools can address this. I was looking at the Google examples both employee scheduling and N-queens. Both example seem to have the optimiz...
Janiuszck asked 22/3, 2018 at 19:39
1
Solved
Consider the following square:
You are given three constraints:
All rectangles (A, B, C, D and E) have the same area;
Their geometric layout constitutes a square; and
The height of A is 2.
Now...
Coletta asked 27/7, 2020 at 0:44
1
Solved
I have been playing around with a simple n-queens model in MiniZinc:
include "globals.mzn";
int: n_queens = 8;
array[1..n_queens] of var 1..n_queens: queens;
constraint alldifferent(quee...
Hainaut asked 27/6, 2020 at 17:13
1
Solved
I'm currently working on MiniZinc, and i have been running my models with the two solvers integrated in MiniZinc: Gecode and Chuffed. I've been running it in the IDE, but i am aware that it can be ...
Psalmist asked 30/4, 2020 at 23:58
1
Solved
I'm trying to understand MiniZincs geost constraint, which is described in the packing constraint section of the docs. I'm trying to implement 2D packing of rectangles with rotation: So I'd like to...
Autunite asked 10/3, 2020 at 13:35
3
Solved
I am new to the world of SAT solvers and would need some guidance regarding the following problem.
Considering that:
❶ I have a selection of 14 adjacent cells in a 4*4 grid
❷ I have 5 polyomino...
Arabele asked 13/1, 2020 at 23:17
2
Solved
Let's say I have a list of 16 numbers. With these 16 numbers I can create different 4x4 matrices. I'd like to find all 4x4 matrices where each element in the list is used once, and where the sum of...
Leporine asked 21/12, 2019 at 0:42
1
Considering https://speakerdeck.com/folone/theres-a-prolog-in-your-scala, I would like to "abuse" the Scala type system to find all instances of e.g. CanBuildFrom that match a given criteria. Prolo...
Citizenry asked 3/11, 2014 at 21:16
1
Solved
I'm using the ORTOOLS library for solving a VRP problem. I give it an initial feasible solution to my problem, satisfying all the constraints of my problem but sub-optimal. Then ORTOOLS performs a ...
Carline asked 8/9, 2019 at 14:6
3
Solved
I'm trying to get familiar with constraint programming.
All documentation/videos I've seen so far just contain description of top-level concepts and code examples based on CP-libraries utilization...
Luscious asked 26/6, 2013 at 13:30
5
A strange question follows:
I'm doing a problem solving competition @ my school, and they allow us to use a computer. Since I'm the only one in the competition who knows how to code, I use C and Pa...
Rickard asked 29/3, 2013 at 14:13
3
I'm beginner in constraint programming and I'm using Google or-tools library in my c# program.
I want to add following constraint to my solver:
((t1 >= 12 && t1 <= 15) || (t2 >= 16 &...
Witten asked 7/1, 2015 at 8:8
1
Solved
I am currently evaluating googles or-tools and just noticed that it's not really a solver on its own but mainly an interface to other solvers. What I'd like to know is which solvers this framework ...
Ld asked 20/7, 2019 at 9:26
2
Solved
I'm new to constraint programming. I imagine this is an easy problem but I can't wrap my head around it. Here's the problem:
We have multiple machines (N), each with a limited resource (let's say...
Senile asked 27/12, 2015 at 4:0
1
I am working on a geometry problem with the OR-Tools constraint programming tools.
Could one of you tell me the procedure to create a custom constraint?
I dont really understand demon, model visi...
Autocatalysis asked 8/1, 2018 at 8:35
1
We have to solve a difficult problem where we need to check a lot of complex rules from multiple sources against a system in order to decide if the system satisfy those rules or how it should be ch...
Metalliferous asked 8/1, 2019 at 10:50
4
Solved
I have a system where I need to calculate the possible range of values for each variable (I don't need to find a solution to the system). Here is an illustration of an example system:
Each blue ...
Megathere asked 13/10, 2018 at 4:15
2
Solved
I have a set of many (10000+) items, from which have I have to choose exactly 20 items. I can only choose each item once. My items have profits, and costs, as well as several boolean properties (su...
Unboned asked 11/9, 2018 at 14:45
1 Next >
© 2022 - 2025 — McMap. All rights reserved.