Author:Â Dr. Ed Klotz, Senior Mathematical Optimization Specialist
Optimization problems are all around us, often in unexpected places. In my last blog article, I showed interesting examples of how optimization shows up in the art world.
Now let’s talk about another interesting place where optimization pops up: puzzles. If you’re into games or puzzles, then chances are you’ve seen mathematical optimization in action without even realizing it.
I often find that puzzles are a great way to help explain optimization to those who aren’t familiar with it. Here are a few of my favorite examples.
First up, here’s a simple game we created at Gurobi. In honor of the most recent installment of The Matrix movie franchise, we dubbed it The Matrix: Revisited.
Let’s unpack what we’re looking at here. First, the green Target Matrix is a square grid of non-negative integers. That’s fixed data, and we have no control over that. Next, the 6 red grids are binary matrices filled with 0 and 1 values. Last up, the blue matrix is the one you can manipulate. It starts blank, filled with zeros.
Your goal is to make copies of the red matrices, add them to the blue matrix, and see how close you can get to the green target matrix. (In this on-demand Tech Talk, you can see more about how this works and possible solutions.)
A simulated scenario with real-world applications
Just like in The Matrix the movie, this simulated scenario has a real-world counterpart. In fact, the logic behind this game is helping save lives. It’s a model used to guide radiation treatment therapy for cancer using a robotic tool called a Cyberknife.
The green target matrix is a grid overlaid on the diseased tissue. The integers in it are the dosage levels for each area of tissue within that grid. Certain areas are more diseased (higher numbers like 8 and 7) and need higher dosage levels. Other areas are completely healthy (0), so you want to avoid dosing those areas with any radiation at all.
The red binary matrices correspond to different angles of the robotic arm that administers the dosage of radiation. There are some constraints to specify how the arm can move and how much dosage it can deliver continuously.
When we make a model like this into a game, it’s an amazing way to visualize optimization in the real world. And, spoiler alert, Gurobi was able to solve this small puzzle with ease.
Let’s look at another game that ties back to optimization. Most of us are familiar with Sudoku, a 9×9 grid that you need to fill with unique numbers.
Most Sudoku puzzles are easy enough for humans to solve on their own. In fact, that’s the whole point of them. But what if we looked at Sudoku in a whole new way?
Try this variant: Instead of filling numbers in, try taking numbers out. As designed, Sudoku puzzles have only one answer. What are the fewest numbers you can take out before you “jailbreak” the puzzle? Hint: Try removing a couple of numbers that don’t appear as often.
Let’s take it up another level. What if we make a Sudoku grid bigger? Here’s a real-world example we’ve worked on where the grid increased to 17×32. The numbers are swapped out for labels, and there’s also the added complexity of color-coding based on certain conditions.
The addition of coloring creates a third dimension to the puzzle. Also, the rules for placement of the labels in the grid cells are more complex than the standard Sudoku puzzle. The larger grid size, additional dimensionality, and added complexity make this puzzle much harder to solve than even the most challenging standard Sudoku puzzle.
This puzzle would be quite difficult for most humans to solve quickly, if ever. And yet it’s a puzzle that a team of human planners have worked out every year since 1920. If you recognize this as the date when the National Football League was founded, you get extra points.
It turns out, this is the real-world model the NFL uses to plan their game and broadcasting schedule. The horizontal columns identify the 32 teams in the league, from the Dallas Cowboys (DAL) to the Los Angeles Chargers (LAC). The vertical columns represent the 17 weeks in a season (they’ve since moved to 18 weeks). The black squares are bye weeks, where a team isn’t scheduled to play. And the other colors represent the television network on which a particular game is broadcast, from ESPN to NBC.
Using this model, the NFL planners can come up with compelling schedules, with the biggest, most exciting games broadcast to the biggest audiences. Gurobi Optimizer helps them get there, in a fraction of the time that they can figure out a compelling schedule themselves. For more about this story, see our NFL case study.
Another interesting puzzle is Slitherlink, also known as the Traveling Salesman problem. Your job is to connect the dots in a single loop, using the fewest number of lines. The numbers are constraints: how many lines can touch a particular square.
This sort of optimization model can be used in all sorts of real-world scenarios, from how Google Maps helps plan the most efficient route between two points or how delivery services figure out which routes their trucks take each day.
With this game, the objective is to rearrange the rectangles, in order to minimize the amount of space being used, without letting the rectangles overlap. Using your mouse, you can try rearranging the rectangles into different configurations. As you do, you’ll see your score (measured by the area of the smallest rectangular boundary containing the individual rectangles) in the lower-left corner. The lower the score, the better you’re doing.
Once you think you’ve achieved the most efficient layout, you can let the Gurobi Optimizer give it a try. In less than a second, Gurobi will show you the optimal way to arrange the rectangles.
As you may have guessed by now, this simple and fun game has real-life applications. For example, arranging hardware components on a chip—where the components need to be as close as possible, in order to speed up communication.
It also applies to situations like bin-packing design, two-dimensional job scheduling, and positioning machines on a shop floor, among others. To see the game in action, and learn more about its real-life applications, check out our Tech Talk, Converting Weak to Strong MIP Formulations.
This game is one we created in-house, for use as an educational tool. It introduces players to the idea of mathematical optimization—teaching them a little about what optimization can do, what sorts of problems it can solve, why someone might want to use it, and what advantages it has over manual trial-and-error approaches.
The goal of the game is to place burrito trucks to serve hungry customers throughout the city, while maximizing your profit. Truck placement has to be carefully planned, because every truck has a cost—but its ability to earn revenue depends on how close it is to potential customers. For example, on some days, special events increase the demand in some regions of the city; on other days, the weather affects customers’ willingness to walk to a burrito truck.
You can play the Burrito Optimization game for free (you’ll just need to create an account). And be sure to check out the Teaching Guide, for more info behind the methodology.
By turning optimization into games like these, we can consider problems from new angles, in thousands of real-world scenarios. This more visual approach to optimization models can help explain the importance of mathematical optimization and the meaning of individual models to those less familiar with the algebraic representations or underlying mathematical foundations.
For more about how optimization can help you solve puzzles of all sorts, watch our recent Tech Talks: Grab Bag of Interesting and Unusual Optimization Applications, as well as Converting Weak to Strong MIP Formulations.
GUROBI NEWSLETTER
Latest news and releases
Choose the evaluation license that fits you best, and start working with our Expert Team for technical guidance and support.
Request free trial hours, so you can see how quickly and easily a model can be solved on the cloud.
Cookie | Duration | Description |
---|---|---|
_biz_flagsA | 1 year | A Cloudflare cookie set to record users’ settings as well as for authentication and analytics. |
_biz_pendingA | 1 year | A Cloudflare cookie set to record users’ settings as well as for authentication and analytics. |
_biz_sid | 30 minutes | This cookie is set by Bizible, to store the user's session id. |
ARRAffinity | session | ARRAffinity cookie is set by Azure app service, and allows the service to choose the right instance established by a user to deliver subsequent requests made by that user. |
ARRAffinitySameSite | session | This cookie is set by Windows Azure cloud, and is used for load balancing to make sure the visitor page requests are routed to the same server in any browsing session. |
BIGipServersj02web-nginx-app_https | session | NGINX cookie |
cookielawinfo-checkbox-advertisement | 1 year | Set by the GDPR Cookie Consent plugin, this cookie is used to record the user consent for the cookies in the "Advertisement" category . |
cookielawinfo-checkbox-analytics | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics". |
cookielawinfo-checkbox-functional | 11 months | The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional". |
cookielawinfo-checkbox-necessary | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary". |
cookielawinfo-checkbox-others | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other. |
cookielawinfo-checkbox-performance | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance". |
CookieLawInfoConsent | 1 year | Records the default button state of the corresponding category & the status of CCPA. It works only in coordination with the primary cookie. |
elementor | never | This cookie is used by the website's WordPress theme. It allows the website owner to implement or change the website's content in real-time. |
JSESSIONID | session | New Relic uses this cookie to store a session identifier so that New Relic can monitor session counts for an application. |
viewed_cookie_policy | 11 months | The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data. |
Cookie | Duration | Description |
---|---|---|
__cf_bm | 30 minutes | This cookie, set by Cloudflare, is used to support Cloudflare Bot Management. |
_biz_nA | 1 year | Bizible sets this cookie to remember users’ settings as well as for authentication and analytics. |
_biz_uid | 1 year | This cookie is set by Bizible, to store user id on the current domain. |
_hjAbsoluteSessionInProgress | 30 minutes | Hotjar sets this cookie to detect a user's first pageview session, which is a True/False flag set by the cookie. |
_mkto_trk | 2 years | This cookie is set by Marketo. This allows a website to track visitor behavior on the sites on which the cookie is installed and to link a visitor to the recipient of an email marketing campaign, to measure campaign effectiveness. Tracking is performed anonymously until a user self-identifies by submitting a form. |
bcookie | 1 year | LinkedIn sets this cookie from LinkedIn share buttons and ad tags to recognize browser ID. |
bscookie | 1 year | LinkedIn sets this cookie to store performed actions on the website. |
doc_langsBB | 1 year | Documentation system cookie |
doc_version | 1 year | Documentation system cookie |
lang | session | LinkedIn sets this cookie to remember a user's language setting. |
lidc | 1 day | LinkedIn sets the lidc cookie to facilitate data center selection. |
UserMatchHistory | 1 month | LinkedIn sets this cookie for LinkedIn Ads ID syncing. |
whova_client_id | 10 years | Event agenda system cookie |
Cookie | Duration | Description |
---|---|---|
_gat_UA-5909815-1 | 1 minute | A variation of the _gat cookie set by Google Analytics and Google Tag Manager to allow website owners to track visitor behaviour and measure site performance. The pattern element in the name contains the unique identity number of the account or website it relates to. |
Cookie | Duration | Description |
---|---|---|
_an_uid | 7 days | 6Sense Cookie |
_BUID | 1 year | This cookie, set by Bizible, is a universal user id to identify the same user across multiple clients’ domains. |
_ga | 2 years | The _ga cookie, installed by Google Analytics, calculates visitor, session and campaign data and also keeps track of site usage for the site's analytics report. The cookie stores information anonymously and assigns a randomly generated number to recognize unique visitors. |
_ga_* | 1 year 1 month 4 days | Google Analytics sets this cookie to store and count page views. |
_gat_UA-* | 1 minute | Google Analytics sets this cookie for user behaviour tracking. |
_gcl_au | 3 months | Provided by Google Tag Manager to experiment advertisement efficiency of websites using their services. |
_gd_session | 4 hours | This cookie is used for collecting information on users visit to the website. It collects data such as total number of visits, average time spent on the website and the pages loaded. |
_gd_visitor | 2 years | This cookie is used for collecting information on the users visit such as number of visits, average time spent on the website and the pages loaded for displaying targeted ads. |
_gid | 1 day | Installed by Google Analytics, _gid cookie stores information on how visitors use a website, while also creating an analytics report of the website's performance. Some of the data that are collected include the number of visitors, their source, and the pages they visit anonymously. |
_hjFirstSeen | 30 minutes | Hotjar sets this cookie to identify a new user’s first session. It stores the true/false value, indicating whether it was the first time Hotjar saw this user. |
_hjIncludedInSessionSample_* | 2 minutes | Hotjar cookie that is set to determine if a user is included in the data sampling defined by a site's daily session limit. |
_hjRecordingEnabled | never | Hotjar sets this cookie when a Recording starts and is read when the recording module is initialized, to see if the user is already in a recording in a particular session. |
_hjRecordingLastActivity | never | Hotjar sets this cookie when a user recording starts and when data is sent through the WebSocket. |
_hjSession_* | 30 minutes | Hotjar cookie that is set when a user first lands on a page with the Hotjar script. It is used to persist the Hotjar User ID, unique to that site on the browser. This ensures that behavior in subsequent visits to the same site will be attributed to the same user ID. |
_hjSessionUser_* | 1 year | Hotjar cookie that is set when a user first lands on a page with the Hotjar script. It is used to persist the Hotjar User ID, unique to that site on the browser. This ensures that behavior in subsequent visits to the same site will be attributed to the same user ID. |
_hjTLDTest | session | To determine the most generic cookie path that has to be used instead of the page hostname, Hotjar sets the _hjTLDTest cookie to store different URL substring alternatives until it fails. |
6suuid | 2 years | 6Sense Cookie |
AnalyticsSyncHistory | 1 month | LinkedIn cookie |
BE_CLA3 | 1 year 1 month 4 days | BrightEdge sets this cookie to enable data aggregation, analysis and report creation to assess marketing effectiveness and provide solutions for SEO, SEM and website performance. |
CONSENT | 2 years | YouTube sets this cookie via embedded youtube-videos and registers anonymous statistical data. |
dj | 10 years | DemandJump cookie |
djaimid.a28e | 2 years | DemandJump cookiean |
djaimses.a28e | 30 minutes | DemandJump cookie |
li_gc | 5 months 27 days | LinkedIn Cookie |
ln_or | 1 day | LinkedIn Cookie |
vuid | 2 years | Vimeo installs this cookie to collect tracking information by setting a unique ID to embed videos to the website. |
Cookie | Duration | Description |
---|---|---|
__adroll | 1 year 1 month | This cookie is set by AdRoll to identify users across visits and devices. It is used by real-time bidding for advertisers to display relevant advertisements. |
__adroll_fpc | 1 year | AdRoll sets this cookie to target users with advertisements based on their browsing behaviour. |
__adroll_shared | 1 year 1 month | Adroll sets this cookie to collect information on users across different websites for relevant advertising. |
__ar_v4 | 1 year | This cookie is set under the domain DoubleClick, to place ads that point to the website in Google search results and to track conversion rates for these ads. |
_fbp | 3 months | This cookie is set by Facebook to display advertisements when either on Facebook or on a digital platform powered by Facebook advertising, after visiting the website. |
_te_ | session | Adroll cookie |
fr | 3 months | Facebook sets this cookie to show relevant advertisements to users by tracking user behaviour across the web, on sites that have Facebook pixel or Facebook social plugin. |
IDE | 1 year 24 days | Google DoubleClick IDE cookies are used to store information about how the user uses the website to present them with relevant ads and according to the user profile. |
li_sugr | 3 months | LinkedIn sets this cookie to collect user behaviour data to optimise the website and make advertisements on the website more relevant. |
test_cookie | 15 minutes | The test_cookie is set by doubleclick.net and is used to determine if the user's browser supports cookies. |
VISITOR_INFO1_LIVE | 5 months 27 days | A cookie set by YouTube to measure bandwidth that determines whether the user gets the new or old player interface. |
YSC | session | YSC cookie is set by Youtube and is used to track the views of embedded videos on Youtube pages. |
yt-remote-connected-devices | never | YouTube sets this cookie to store the video preferences of the user using embedded YouTube video. |
yt-remote-device-id | never | YouTube sets this cookie to store the video preferences of the user using embedded YouTube video. |
yt.innertube::nextId | never | This cookie, set by YouTube, registers a unique ID to store data on what videos from YouTube the user has seen. |
yt.innertube::requests | never | This cookie, set by YouTube, registers a unique ID to store data on what videos from YouTube the user has seen. |