First Bad Version #33
Open
+180
−0
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
colorbox
reviewed
Sep 7, 2024
nodchip
reviewed
Sep 8, 2024
|
|
||
| 単なる二分探索だが、少し混乱してしまったため、時間がかかってしまった。二分探索については理解しているつもりだが、考えずにできるレベルにはまだなれてないので少し問題文が変更されていると頭で考える必要が出てきてしまう。 | ||
|
|
||
| 半閉区画の場合、rightは常にtrueの範囲に収まり続け、leftはfalseとtrueの境界にあるとき、mid+1によりtrueに移動するため、left == rightになった瞬間はleftはFirst bad versionであることがわかる。 |
|
|
||
| 単なる二分探索だが、少し混乱してしまったため、時間がかかってしまった。二分探索については理解しているつもりだが、考えずにできるレベルにはまだなれてないので少し問題文が変更されていると頭で考える必要が出てきてしまう。 | ||
|
|
||
| 半閉区画の場合、rightは常にtrueの範囲に収まり続け、leftはfalseとtrueの境界にあるとき、mid+1によりtrueに移動するため、left == rightになった瞬間はleftはFirst bad versionであることがわかる。 |
There was a problem hiding this comment.
「trueの範囲」とはどこからどこまでを表していますか？例えば [false, false, false, true, true, true] という bool 値の配列があったとき、インデックスでいうと何から何までですか？
|
|
||
| 単なる二分探索だが、少し混乱してしまったため、時間がかかってしまった。二分探索については理解しているつもりだが、考えずにできるレベルにはまだなれてないので少し問題文が変更されていると頭で考える必要が出てきてしまう。 | ||
|
|
||
| 半閉区画の場合、rightは常にtrueの範囲に収まり続け、leftはfalseとtrueの境界にあるとき、mid+1によりtrueに移動するため、left == rightになった瞬間はleftはFirst bad versionであることがわかる。 |
There was a problem hiding this comment.
left は false と true の境界にあるとき、 isBadVersion() が常に true を返すため、 left が mid + 1 になることはないのではないでしょうか？
|
|
||
| 単なる二分探索だが、少し混乱してしまったため、時間がかかってしまった。二分探索については理解しているつもりだが、考えずにできるレベルにはまだなれてないので少し問題文が変更されていると頭で考える必要が出てきてしまう。 | ||
|
|
||
| 半閉区画の場合、rightは常にtrueの範囲に収まり続け、leftはfalseとtrueの境界にあるとき、mid+1によりtrueに移動するため、left == rightになった瞬間はleftはFirst bad versionであることがわかる。 |
There was a problem hiding this comment.
本来は理由が先に合って、理由に依存して挙動が定まるところを、先にに挙動が定まっていて、その挙動になる理由をこじつけているように感じられました。
「rightは常にtrueの範囲に収まり続け」るのはなぜですか？「leftはfalseとtrueの境界にあるとき、mid+1によりtrueに移動する」のはなぜですか？
|
|
||
| 半閉区画の場合、rightは常にtrueの範囲に収まり続け、leftはfalseとtrueの境界にあるとき、mid+1によりtrueに移動するため、left == rightになった瞬間はleftはFirst bad versionであることがわかる。 | ||
| leftがmid+1でtrueに移動したときにrightがleftよりも大きい位置（left < right）にいたとしても、探索は続くが、leftもrightもtrueであればmidも必ずtrueになるため、leftは動かず、rightだけが徐々にleftに近づいていき、最終的にはleftと合流する。 | ||
| right = midと更新される以上、rightがleftを飛び越えることはなくtrueの範囲にとどまり続け、left == rightになるまで探索は終了しないので、firstBadVersionHalfClosed2のようにleftの代わりにrightを返しても問題ない。 |
| right = midと更新される以上、rightがleftを飛び越えることはなくtrueの範囲にとどまり続け、left == rightになるまで探索は終了しないので、firstBadVersionHalfClosed2のようにleftの代わりにrightを返しても問題ない。 | ||
| rightがleftを飛び越えることはないのでfirstBadVersionHalfClosed3のように書くこともできる。 | ||
|
|
||
| 閉区画の場合、falseとtrueの境界にあるとき、rightはmid-1によりfalseの方に移動するのに対し、leftはtrueの方に移動するため、right < leftになった瞬間にleftはFirst bad versionであることがわかる。left == rightの場合、trueの範囲内でleft == rightになる場合は問題ないが、falseの範囲内でleft == rightとなる場合は探索結果になってしまうため、right < leftになるまで探索を続ける必要がある。 |
| right = midと更新される以上、rightがleftを飛び越えることはなくtrueの範囲にとどまり続け、left == rightになるまで探索は終了しないので、firstBadVersionHalfClosed2のようにleftの代わりにrightを返しても問題ない。 | ||
| rightがleftを飛び越えることはないのでfirstBadVersionHalfClosed3のように書くこともできる。 | ||
|
|
||
| 閉区画の場合、falseとtrueの境界にあるとき、rightはmid-1によりfalseの方に移動するのに対し、leftはtrueの方に移動するため、right < leftになった瞬間にleftはFirst bad versionであることがわかる。left == rightの場合、trueの範囲内でleft == rightになる場合は問題ないが、falseの範囲内でleft == rightとなる場合は探索結果になってしまうため、right < leftになるまで探索を続ける必要がある。 |
There was a problem hiding this comment.
なぜ「rightはmid-1に」してよいのですか？なぜ right を mid にしてはいけないのですか？
| right = midと更新される以上、rightがleftを飛び越えることはなくtrueの範囲にとどまり続け、left == rightになるまで探索は終了しないので、firstBadVersionHalfClosed2のようにleftの代わりにrightを返しても問題ない。 | ||
| rightがleftを飛び越えることはないのでfirstBadVersionHalfClosed3のように書くこともできる。 | ||
|
|
||
| 閉区画の場合、falseとtrueの境界にあるとき、rightはmid-1によりfalseの方に移動するのに対し、leftはtrueの方に移動するため、right < leftになった瞬間にleftはFirst bad versionであることがわかる。left == rightの場合、trueの範囲内でleft == rightになる場合は問題ないが、falseの範囲内でleft == rightとなる場合は探索結果になってしまうため、right < leftになるまで探索を続ける必要がある。 |
There was a problem hiding this comment.
right < left になることは、区間の定義上あり得ない、もしくはあってはならなのではないでしょうか？
閉区間の場合、 right == left になった瞬間、境界が一意に定まる、もしくは区間内の要素が一つに定まります。
| /* | ||
| 実はこの問題はfirstBadVersion1のようにrightをn+1で初期化しなくてもパスすることができる。 | ||
|
|
||
| 通常の二分探索では半閉区画で書く場合、rightは常に探索済みの範囲に入れておく必要がある。もしもrightをlen(nums)-1で初期化してしまうと、一番最後の要素が探しているtargetの場合に、left < rightによってleftがtargetに到達した瞬間に探索が終了し、targetが存在しなかったという扱いになってしまう。 |
There was a problem hiding this comment.
探索済みという言葉は、二分探索の文脈ではあまり使わないように思います。グラフ理論で、あるノードを探索し終えた場合に使うように思います。別の言葉で表現してみていただけますか？
oda
reviewed
Sep 26, 2024
| if isBadVersion(mid) && (mid == 1 || !isBadVersion(mid-1)) { | ||
| return mid | ||
| } | ||
| if isBadVersion(mid) { |
There was a problem hiding this comment.
isBadVersion 次第ですが、これだとループ一回で最大3回呼ばれるのが少し気になりますね。
場合によっては10分くらいかかるとても重い処理かもしれません。
There was a problem hiding this comment.
確かにその可能性は考えられますね、、ありがとうございます
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
First Bad Versionを解きました。レビューをお願い致します。
問題：https://leetcode.com/problems/first-bad-version/
言語：Go
すでに解いている方々：
colorbox/leetcode#16
NobukiFukui/Grind75-ProgrammingTraining#25
二分探索についての説明→#27 (comment)