Skip to content

Commit

Permalink
Add binary-search (#193)
Browse files Browse the repository at this point in the history
  • Loading branch information
BNAndras authored Jun 3, 2024
1 parent 3d20f7c commit 8ddc217
Show file tree
Hide file tree
Showing 10 changed files with 246 additions and 0 deletions.
8 changes: 8 additions & 0 deletions config.json
Original file line number Diff line number Diff line change
Expand Up @@ -82,6 +82,14 @@
"prerequisites": [],
"difficulty": 2
},
{
"slug": "binary-search",
"name": "Binary Search",
"uuid": "f9d2463b-1519-4b98-895f-fba505d13add",
"practices": [],
"prerequisites": [],
"difficulty": 2
},
{
"slug": "collatz-conjecture",
"name": "Collatz Conjecture",
Expand Down
29 changes: 29 additions & 0 deletions exercises/practice/binary-search/.docs/instructions.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
# Instructions

Your task is to implement a binary search algorithm.

A binary search algorithm finds an item in a list by repeatedly splitting it in half, only keeping the half which contains the item we're looking for.
It allows us to quickly narrow down the possible locations of our item until we find it, or until we've eliminated all possible locations.

~~~~exercism/caution
Binary search only works when a list has been sorted.
~~~~

The algorithm looks like this:

- Find the middle element of a _sorted_ list and compare it with the item we're looking for.
- If the middle element is our item, then we're done!
- If the middle element is greater than our item, we can eliminate that element and all the elements **after** it.
- If the middle element is less than our item, we can eliminate that element and all the elements **before** it.
- If every element of the list has been eliminated then the item is not in the list.
- Otherwise, repeat the process on the part of the list that has not been eliminated.

Here's an example:

Let's say we're looking for the number 23 in the following sorted list: `[4, 8, 12, 16, 23, 28, 32]`.

- We start by comparing 23 with the middle element, 16.
- Since 23 is greater than 16, we can eliminate the left half of the list, leaving us with `[23, 28, 32]`.
- We then compare 23 with the new middle element, 28.
- Since 23 is less than 28, we can eliminate the right half of the list: `[23]`.
- We've found our item.
13 changes: 13 additions & 0 deletions exercises/practice/binary-search/.docs/introduction.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
# Introduction

You have stumbled upon a group of mathematicians who are also singer-songwriters.
They have written a song for each of their favorite numbers, and, as you can imagine, they have a lot of favorite numbers (like [0][zero] or [73][seventy-three] or [6174][kaprekars-constant]).

You are curious to hear the song for your favorite number, but with so many songs to wade through, finding the right song could take a while.
Fortunately, they have organized their songs in a playlist sorted by the title — which is simply the number that the song is about.

You realize that you can use a binary search algorithm to quickly find a song given the title.

[zero]: https://en.wikipedia.org/wiki/0
[seventy-three]: https://en.wikipedia.org/wiki/73_(number)
[kaprekars-constant]: https://en.wikipedia.org/wiki/6174_(number)
19 changes: 19 additions & 0 deletions exercises/practice/binary-search/.meta/config.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
{
"authors": [
"BNAndras"
],
"files": {
"solution": [
"binary-search.wren"
],
"test": [
"binary-search.spec.wren"
],
"example": [
".meta/proof.ci.wren"
]
},
"blurb": "Implement a binary search algorithm.",
"source": "Wikipedia",
"source_url": "https://en.wikipedia.org/wiki/Binary_search_algorithm"
}
23 changes: 23 additions & 0 deletions exercises/practice/binary-search/.meta/proof.ci.wren
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
class BinarySearch {
static find(values, target) {
var start = 0
var stop = values.count - 1

while (start <= stop) {
var index = ((start + stop) / 2).truncate
var value = values[index]

if (value == target) {
return index
}

if (value < target) {
start = index + 1
} else {
stop = index - 1
}
}

Fiber.abort("value not in list")
}
}
43 changes: 43 additions & 0 deletions exercises/practice/binary-search/.meta/tests.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
# This is an auto-generated file.
#
# Regenerating this file via `configlet sync` will:
# - Recreate every `description` key/value pair
# - Recreate every `reimplements` key/value pair, where they exist in problem-specifications
# - Remove any `include = true` key/value pair (an omitted `include` key implies inclusion)
# - Preserve any other key/value pair
#
# As user-added comments (using the # character) will be removed when this file
# is regenerated, comments can be added via a `comment` key.

[b55c24a9-a98d-4379-a08c-2adcf8ebeee8]
description = "finds a value in an array with one element"

[73469346-b0a0-4011-89bf-989e443d503d]
description = "finds a value in the middle of an array"

[327bc482-ab85-424e-a724-fb4658e66ddb]
description = "finds a value at the beginning of an array"

[f9f94b16-fe5e-472c-85ea-c513804c7d59]
description = "finds a value at the end of an array"

[f0068905-26e3-4342-856d-ad153cadb338]
description = "finds a value in an array of odd length"

[fc316b12-c8b3-4f5e-9e89-532b3389de8c]
description = "finds a value in an array of even length"

[da7db20a-354f-49f7-a6a1-650a54998aa6]
description = "identifies that a value is not included in the array"

[95d869ff-3daf-4c79-b622-6e805c675f97]
description = "a value smaller than the array's smallest value is not found"

[8b24ef45-6e51-4a94-9eac-c2bf38fdb0ba]
description = "a value larger than the array's largest value is not found"

[f439a0fa-cf42-4262-8ad1-64bf41ce566a]
description = "nothing is found in an empty array"

[2c353967-b56d-40b8-acff-ce43115eed64]
description = "nothing is found when the left and right bounds cross"
21 changes: 21 additions & 0 deletions exercises/practice/binary-search/LICENSE
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
MIT License

Copyright (c) 2024 Exercism

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
71 changes: 71 additions & 0 deletions exercises/practice/binary-search/binary-search.spec.wren
Original file line number Diff line number Diff line change
@@ -0,0 +1,71 @@
import "./binary-search" for BinarySearch
import "wren-testie/testie" for Testie, Expect

Testie.test("BinarySearch") { |do, skip|
do.test("finds a value in a list with one element") {
var actual = BinarySearch.find([6], 6)
var expected = 0
Expect.value(actual).toEqual(expected)
}

do.skip("finds a value in the middle of a list") {
var actual = BinarySearch.find([1, 3, 4, 6, 8, 9, 11], 6)
var expected = 3
Expect.value(actual).toEqual(expected)
}

do.skip("finds a value at the beginning of a list") {
var actual = BinarySearch.find([1, 3, 4, 6, 8, 9, 11], 1)
var expected = 0
Expect.value(actual).toEqual(expected)
}

do.skip("finds a value at the end of a list") {
var actual = BinarySearch.find([1, 3, 4, 6, 8, 9, 11], 11)
var expected = 6
Expect.value(actual).toEqual(expected)
}

do.skip("finds a value in a list of odd length") {
var actual = BinarySearch.find([1, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 634], 144)
var expected = 9
Expect.value(actual).toEqual(expected)
}

do.skip("finds a value in a list of even length") {
var actual = BinarySearch.find([1, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377], 21)
var expected = 5
Expect.value(actual).toEqual(expected)
}

do.skip("identifies that a value is not included in the list") {
Expect.that {
BinarySearch.find([1, 3, 4, 6, 8, 9, 11], 7)
}.abortsWith("value not in list")
}

do.skip("a value smaller than the list's smallest value is not found") {
Expect.that {
BinarySearch.find([1, 3, 4, 6, 8, 9, 11], 0)
}.abortsWith("value not in list")
}

do.skip("a value larger than the list's largest value is not found") {
Expect.that {
BinarySearch.find([1, 3, 4, 6, 8, 9, 11], 13)
}.abortsWith("value not in list")
}

do.skip("nothing is found in an empty list") {
Expect.that {
BinarySearch.find([], 1)
}.abortsWith("value not in list")
}

do.skip("nothing is found when the left and right bounds cross") {
Expect.that {
BinarySearch.find([1, 2], 0)
}.abortsWith("value not in list")
}
}

5 changes: 5 additions & 0 deletions exercises/practice/binary-search/binary-search.wren
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
class BinarySearch {
static find(values, target) {
Fiber.abort("Remove this statement and implement this function")
}
}
14 changes: 14 additions & 0 deletions exercises/practice/binary-search/package.wren
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
import "wren-package" for WrenPackage, Dependency
import "os" for Process

class Package is WrenPackage {
construct new() {}
name { "exercism/binary-search" }
dependencies {
return [
Dependency.new("wren-testie", "0.3.0", "https://github.com/joshgoebel/wren-testie.git")
]
}
}

Package.new().default()

0 comments on commit 8ddc217

Please sign in to comment.